Applications of Assertions as Elementary Tactics in Proof Planning.

Xiaorong Huang

Browse the full AIMSA paper archive.