Integrating Constraint Solving into Proof Planning
2000 ◽
pp. 32-46
◽
2004 ◽
Vol 33
(1)
◽
pp. 51-88
◽
2019 ◽
Vol 41
(2)
◽
pp. 1-76
Keyword(s):
Keyword(s):
Keyword(s):