Automated Theorem Proving with Disjunctive Constraints

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.

Authors

Ortrun Ibes

This author has not been identified. Look up 'Ortrun Ibes' in Google