@TECHREPORT{Herzig96, AUTHOR = {Herzig, Andreas}, MONTH = {September}, YEAR = {1996}, TITLE = {SCAN and Systems of Condtional Logic}, TYPE = {Research Report}, NUMBER = {MPI-I-96-2-007}, INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik}, ADDRESS = {Saarbr{\"u}cken, Germany}, }