Extended Horn Clauses: the Framework and some Semantics (1991)

Cached

Download Links

by Jean-marie Jacquet , Luís Monteiro