1. Tables as a user interface for logic problems;Cheng,1988
2. Chatalic P. Technical Report TR-LP-23, 1987 European Computer-Industry Research Centre, June
3. Chatalic P. Technical Report TR-LP-42, 1989 European Computer-Industry Research Centre, May
4. Incremental search in constraint logic programming;Van Hentenryck;New Generation Computing,1991
5. Logic as an interaction language;van Emden,1984