Integrating Constraint Solving into Proof Planning
(pdf)
Erica Melis, Jürgen Zimmer, Tobias Müller
Frontiers of Combining Systems -- Third International Workshop, FroCos 2000
Extensions of Constraint Solving for Proof Planning
(pdf)
Erica Melis, Jürgen Zimmer, Tobias Müller
Proceedings of the 14th European Conference on Artificial Intelligence