DMCA

Impasse-Driven Reasoning in Proof Planning

by Andreas Meier , Erica Melis