Gerhard Wetzel Robert A. Kowalski Francesca Toni A Theorem-Proving approach to CLP. 63-72 1995 WLP db/conf/wlp/wlp95.html#WetzelKT95