Asserting Lemmas in the Stable Model Semantics. - Stefania Costantini; Gaetano Aurelio Lanzarone; Giuseppe Magliocco (JICSLP, 1996)