Benjamin Douglas Smith
Univ. of Southern California
Version spaces and the consistency problem
Artificial Intelligence