Katsumi Nitta Stephen Wong Yoshihisa Ohtake A Computational Model for Trial Reasoning. 20-29 1993 ICAIL http://doi.acm.org/10.1145/158976.158979 db/conf/icail/icail93.html#NittaWO93