@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}
}