Daniel Poulin Paul Bratley Jacques Frémont Ejan Mackaay 90-99 1993 ICAIL http://doi.acm.org/10.1145/158976.158988 db/conf/icail/icail93.html#PoulinBFM93