the ATMS and search reduction, Reason Maintenance Systems and their Applications (1988)

by B Smith, Forward-checking
Venue:Editors B.M. Smith and G. Kelleher, Ellis Horwood Series in Artificial Intelligence