A new declarative semantics of Flat Guarded Horn Clauses - Levi, Giorgio 1942- (1988)
Keywords: Programming languages (Electronic computers) -- Semantics