%0 Conference Proceedings %F heni2011 %A Henglein, Fritz %A Nielsen, Lasse %T Regular Expression Containment: Coinductive Axiomatization and Computational Interpretation %B Proc. 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) %U file://localhost/users/henglein/Documents/Research/papers/henglein2011.pdf %8 January %D 2011 %K regexp