Kim Marriott, Sitt Chen Chok, Alan Finlay. A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications. In Michael J. Maher, Jean-Francois Puget, editors, Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings. Volume 1520 of Lecture Notes in Computer Science, pages 340-354, Springer, 1998. [doi]
Abstract is missing.