@InProceedings{	  dix92default,
  author	= {J\"{u}rgen Dix},
  title		= {{D}efault {T}heories of {P}oole-{T}ype and a {M}ethod for
		  {C}onstructing {C}umulative {V}ersions of {D}efault
		  {L}ogic},
  booktitle	= {Proc.~of 10th European Conf.~on Artificial Intelligence
		  ECAI~92},
  year		= {1992},
  pages		= {289--293},
  editor	= {Bernd Neumann},
  publisher	= {John Wiley \& Sons}
}