A Programming Notation for Tactical Reasoning.

David A. Schmidt

Browse the full CADE paper archive.