W. P. Weijland. Semantics for Logic Programs without Occur Check. In Timo Lepistö, Arto Salomaa, editors, Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings. Volume 317 of Lecture Notes in Computer Science, pages 710-726, Springer, 1988.
@inproceedings{Weijland88, title = {Semantics for Logic Programs without Occur Check}, author = {W. P. Weijland}, year = {1988}, tags = {semantics, logic programming, logic}, researchr = {https://researchr.org/publication/Weijland88}, cites = {0}, citedby = {0}, pages = {710-726}, booktitle = {Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings}, editor = {Timo Lepistö and Arto Salomaa}, volume = {317}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-19488-6}, }