@InProceedings{ bradixprz96super, author = {Stefan Brass and J\"{u}rgen Dix and Teodor.~C.~Przymusinski}, title = {{S}uper {L}ogic {P}rograms}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR '96)}, editor = {L.~C.~Aiello and J.~Doyle and S.~C.~Shapiro}, pages = {529--541}, publisher = {Morgan Kaufmann}, organization = {San Francisco, CA}, year = {1996} }