Robert A. Kowalski Francesca Toni Gerhard Wetzel Towards a Declarative and Efficient Glass-Box CLP Language. 138-141 1994 WLP db/conf/wlp/wlp94.html#KowalskiTW94