@inproceedings{FLOPS-1998-Hinze,
	author        = "Ralf Hinze",
	booktitle     = "{Fuji International Symposium on Functional and Logic Programming}",
	pages         = "98--122",
	title         = "{Prological Features in a Functional Setting Axioms and Implementation}",
	year          = 1998,
}