Rolf Haenni A Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning. 114-127 2002 conf/software/2002 Soft-Ware https://doi.org/10.1007/3-540-46019-5_9 db/conf/software/software2002.html#Haenni02