Citation: L. Console et al., USING COMPILED KNOWLEDGE TO GUIDE AND FOCUS ABDUCTIVE DIAGNOSIS, IEEE transactions on knowledge and data engineering, 8(5), 1996, pp. 690-706
Citation: V. Brusoni et al., THE COMPUTATIONAL-COMPLEXITY OF QUERYING BOUNDS ON DIFFERENCES CONSTRAINTS, Artificial intelligence, 74(2), 1995, pp. 367-379