Erica Melis Jürgen Zimmer Tobias Müller Integrating Constraint Solving into Proof Planning. 32-46 2000 conf/frocos/2000 FroCoS db/conf/frocos/frocos2000.html#MelisZM00 http://dx.doi.org/10.1007/10720084_3