Rolf Haenni A Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning. 114-127 2002 conf/software/2002 Soft-Ware http://link.springer.de/link/service/series/0558/bibs/2311/23110114.htm db/conf/software/software2002.html#Haenni02