Sven-Olof Nyström. Control Structures for Guarded Horn Clauses. In ICLP/SLP. pages 1351-1370, 1988.
@inproceedings{Nystrom88, title = {Control Structures for Guarded Horn Clauses}, author = {Sven-Olof Nyström}, year = {1988}, researchr = {https://researchr.org/publication/Nystrom88}, cites = {0}, citedby = {0}, pages = {1351-1370}, booktitle = {ICLP/SLP}, }