Dynamic backtracking (1993)

by M L Ginsberg
Venue:Journal of Arti Intelligence Research