Pier Giorgio Bosco C. Cecchi Corrado Moiso An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing. 318-333 1989 ICLP db/conf/iclp/iclp89.html#BoscoCM89