## Joxan Jaffar, Peter J. Stuckey

*Logic Program Semantics for Programming with Equations*

ICLP, 1986.

@inproceedings{ICLP-1986-JaffarS86, author = "Joxan Jaffar and Peter J. Stuckey", booktitle = "{Proceedings of the Third International Conference on Logic Programming}", doi = "10.1007/3-540-16492-8_84", isbn = "3-540-16492-8", pages = "313--326", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Logic Program Semantics for Programming with Equations}", volume = 225, year = 1986, }