A comparison of ATMS and CSP techniques (1989)

by J de Kleer
Venue:Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI’89