@inproceedings{LFP-1986-JayaramanS,
	author        = "Bharat Jayaraman and Frank S. K. Silbermann",
	booktitle     = "{Proceedings of the 1986 ACM Conference on LISP and Functional Programming}",
	pages         = "320--331",
	title         = "{Equations, Sets, and Reduction Semantics for Functional and Logic Programming}",
	year          = 1986,
}