Extended Horn Clauses: The Framework and Some Semantics.

Jean-Marie Jacquet, Lus Monteiro

Browse the full CONCUR paper archive.