Regular expression containment: coinductive axiomatization and computational interpretation.

Fritz Henglein, Lasse Nielsen

Browse the full POPL paper archive.