(1989). Control flow versus logic: A denotational and a declarative model for guarded horn clauses.
Chicago Style (17th ed.) CitationControl Flow Versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses. Amsterdam, 1989.
MLA (9th ed.) CitationControl Flow Versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses. 1989.
Warning: These citations may not always be 100% accurate.