de Kleer, "A comparison of ATMS and CSP techniques (1989)

by Johan
Venue:in Proc. of the 11 th IJCAI