Order and Negation as Failure.

Davy Van Nieuwenborgh, Dirk Vermeir

Browse the full ICLP paper archive.