Adam J. Grove Joseph Y. Halpern Daphne Koller 22-33 conf/lics/LICS7 1992 LICS db/conf/lics/lics92.html#GroveHK92