@inproceedings{LFP-1982-EggertS,
	author        = "Paul R. Eggert and D. Val Schorre",
	booktitle     = "{Proceedings of the 1982 ACM Symposium on LISP and Functional Programming}",
	pages         = "74--80",
	title         = "{Logic Enhancement: A Metho for Extending Logic Programming Languages}",
	year          = 1982,
}