The Denotational Semantics of Horn Clauses as a Production System.

Jean-Louis Lassez, Michael J. Maher

Browse the full AAAI paper archive.