Control Structures for Guarded Horn Clauses

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

Abstract

Abstract is missing.