Polar: A Framework for Proof Refactoring.

Dominik Dietrich, Iain Whiteside, David Aspinall

Browse the full LPAR paper archive.