Tina Dell'Armi Wolfgang Faber Giuseppe Ielpa Christoph Koch Nicola Leone Simona Perri Gerald Pfeifer System Description: DLV. 424-428 2001 conf/lpnmr/2001 LPNMR http://dx.doi.org/10.1007/3-540-45402-0_36 db/conf/lpnmr/lpnmr2001.html#DellArmiFIKLPP01