Ron Avitzur Olaf Bachmann Norbert Kajler From Honest to Intelligent Plotting. 32-41 1995 ISSAC http://doi.acm.org/10.1145/220346.220351 db/conf/issac/issac95.html#AvitzurBK95