Marcello Balduccini G. Brignoli Gaetano Aurelio Lanzarone F. Magni Alessandro Provetti Experiments in Answer Sets Planning. 95-107 2000 conf/micai/2000 MICAI db/conf/micai/micai2000.html#BalducciniBLMP00