@InProceedings{	  aradixnie97lpnmr,
  author	= {Chandrabose Aravindan and J\"{u}rgen Dix and Ilkka
		  Niemel\"{a}},
  title		= "{D}is{L}o{P}: {T}owards a {D}isjunctive {L}ogic
		  {P}rogramming {S}ystem",
  booktitle	= {Logic Programming and Non-Monotonic Reasoning, Proceedings
		  of the Fourth International Conference },
  year		= {1997},
  pages		= {342--353},
  editor	= {J.~Dix and U.~Furbach and A.~Nerode},
  publisher	= {Springer},
  address	= {Berlin},
  series	= {LNAI 1265},
  month		= {June}
}