@InProceedings{	  dix92aframework,
  author	= {J\"{u}rgen Dix},
  title		= {{A} {F}ramework for {R}epresenting and {C}haracterizing
		  {S}emantics of {L}ogic {P}rograms},
  booktitle	= {Principles of Knowledge Representation and Reasoning:
		  Proceedings of the Third International Conference (KR
		  '92)},
  editor	= {B. Nebel and C. Rich and W. Swartout},
  pages		= {591--602},
  publisher	= {Morgan Kaufmann},
  organization	= {San Mateo, CA},
  year		= {1992}
}