- Wayne Snyder:
Automated Deduction with Constraints. CCL 1994: 1-2 - Fujio Tsutsumi:
An Efficient Algorithm of Logic Programming with Constraint Hierarchy. CCL 1994: 170-182 - Tomás E. Uribe, Mark E. Stickel:
Ordered Binary Decision Diagrams and the Davis-Putnam Procedure. CCL 1994: 34-49 - Jean-Pierre Jouannaud:
Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germany, September 7-9, 1994. Lecture Notes in Computer Science 845, Springer 1994, ISBN 3-540-58403-X [contents]