(1989). Control flow versus logic: A denotational and a declarative model for guarded horn clauses.
Chicago-Zitierstil (17. Ausg.)Control Flow Versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses. Amsterdam, 1989.
MLA-Zitierstil (9. Ausg.)Control Flow Versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses. 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.