Towards a Declarative and Efficient Glass-Box CLP Language. - Robert A. Kowalski; Francesca Toni; Gerhard Wetzel (WLP, 1994)

A Theorem-Proving approach to CLP. - Gerhard Wetzel; Robert A. Kowalski; Francesca Toni (WLP, 1995)

PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract). - Gerhard Wetzel; Robert A. Kowalski; Francesca Toni (JICSLP, 1996)

A Unifying Framework for Abductive and Constraint Logic Programming. - Gerhard Wetzel (WLP, 1997)

A Constraint Programming Approach to Portfolio Selection. - Gerhard Wetzel; Fabian Zabatta (ECAI, 1998)

Semantic Query Optimization through Abduction and Constraint Handling. - Gerhard Wetzel; Francesca Toni (FQAS, 1998)

Querying Database-Backed Web Sites. - Chidambaram Vishwanath; Gerhard Wetzel; Sankar Virdhagriswaran (QL, 1998)

Executing Suspended Logic Programs. - Robert A. Kowalski; Francesca Toni; Gerhard Wetzel (Fundam. Informaticae, 1998)