@InProceedings{	  dix93semantics,
  author	= {J\"{u}rgen Dix},
  title		= {{S}emantics of {L}ogic {P}rograms: {T}heir {I}ntuitions
		  and {F}ormal {P}roperties. {A}n {O}verview.},
  booktitle	= {Logic, Action and Information -- Essays on Logic in
		  Philosophy and Artificial Intelligence},
  editor	= {Andre Fuhrmann and Hans Rott},
  publisher	= {DeGruyter},
  year		= {1995},
  pages		= {241--327}
}