Asserting Lemmas in the Stable Model Semantics.

Stefania Costantini, Gaetano Aurelio Lanzarone, Giuseppe Magliocco

Browse the full ICLP paper archive.