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},
}