Employing Theory Formation to Guide Proof Planning.

Andreas Meier, Volker Sorge, Simon Colton

Browse the full AISC paper archive.