Stefano Ferilli Nicola Di Mauro Teresa Maria Altomare Basile Floriana Esposito A Complete Subsumption Algorithm. 1-13 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2829&spage=1 2003 conf/aiia/2003 AI*IA db/conf/aiia/aiia2003.html#FerilliMBE03