@inproceedings{Hin98Pro,
  title = "Prological Features in a Functional Setting --- Axioms and Implementations",
  author = "Hinze, Ralf",
  year = "1998",
  address = "Singapore, New Jersey, London, Hong Kong",
  booktitle = "Proceedings of the Third Fuji International Symposium on Functional and Logic Programming (FLOPS '98)",
  editor = "Sato, Masahiko and Toyama, Yoshihito",
  isbn = "ISBN 981-02-3384-1",
  location = "Kyoto, Japan",
  month = "apr",
  pages = "98--122",
  publisher = "World Scientific",
}