Ortrun Ibes. Automated Theorem Proving with Disjunctive Constraints. In Joxan Jaffar, editor, Principles and Practice of Constraint Programming - CP 99, 5th International Conference, Alexandria, Virginia, USA, October 11-14, 1999, Proceedings. Volume 1713 of Lecture Notes in Computer Science, pages 484-485, Springer, 1999.
No references recorded for this publication.
No citations of this publication recorded.