@inbook{
  equational-logic-programming,
  author = {Michael J. O'Donnell},
  title = {Equational Logic Programming},
  chapter = {2},
  booktitle = {Handbook of Logic in Artificial Intelligence and Logic
		  Programming},
  volume = {5, {\em Logic Programming\/}},
  editor = {Dov Gabbay},
  publisher = {Oxford University Press},
  note = to appear
}