Extensions of Constraint Solving for Proof Planning (Erica Melis and Jürgen Zimmer and Tobias Müller)
Integrating Constraint Solving into Proof Planning (Erica Melis and Jürgen Zimmer and Tobias Müller)