@Article{	  dix93aclassificationtheoryii,
  author	= {J\"{u}rgen Dix},
  title		= {{A} {C}lassification-{T}heory of {S}emantics of {N}ormal
		  {L}ogic {P}rograms: {I}{I}. {W}eak {P}roperties},
  journal	= {Fundamenta Informaticae},
  year		= {1995},
  volume	= {XXII(3)},
  pages		= {257--288}
}