Experiments in Answer Sets Planning. - Marcello Balduccini; Gianpaolo Brignoli; Gaetano Aurelio Lanzarone; F. Magni; Alessandro Provetti (MICAI, 2000)

Characterizing and computing stable models of logic programs: The non-stratified case. - Gianpaolo Brignoli; Stefania Costantini; Ottavio M. D'Antona; Alessandro Provetti (CoRR, 2014)