Agostino Dovier, Enrico Pontelli. A WAM-Based Implementation of a Logical Language with Sets. In Maurice Bruynooghe, Jaan Penjam, editors, Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP 93, Tallinn, Estonia, August 25-27, 1993, Proceedings. Volume 714 of Lecture Notes in Computer Science, pages 275-290, Springer, 1993.
@inproceedings{DovierP93, title = {A WAM-Based Implementation of a Logical Language with Sets}, author = {Agostino Dovier and Enrico Pontelli}, year = {1993}, tags = {rule-based}, researchr = {https://researchr.org/publication/DovierP93}, cites = {0}, citedby = {0}, pages = {275-290}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP 93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, editor = {Maurice Bruynooghe and Jaan Penjam}, volume = {714}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-57186-8}, }