Bart Selman Non-Systematic Search Methods for Model Finding. 9 1993 ICTAI db/conf/ictai/ictai1993.html#Selman93