Livio Colussi Elena Marchiori A Predicate Transformer for Unification. 67-81 1992 JICSLP db/conf/iclp/iclp92.html#ColussiM92