Refinement Trees: Calculi, Tools, and Applications.

Mihai Codescu, Till Mossakowski

Browse the full CALCO paper archive.