Modular refinement in novel schema calculi.

Moshe Deutsch, Martin C. Henson, Besnik Kajtazi

Browse the full APSEC paper archive.