Dominator Trees and Fast Verification of Proof Nets.

Andrzej S. Murawski, C.-H. Luke Ong

Browse the full LICS paper archive.