Control Structures for Guarded Horn Clauses

Sven-Olof Nyström. Control Structures for Guarded Horn Clauses. In ICLP/SLP. pages 1351-1370, 1988.

Authors

Sven-Olof Nyström

This author has not been identified. Look up 'Sven-Olof Nyström' in Google