@inproceedings{henglein_regular_2011,
  author    = {Fritz Henglein and
               Lasse Nielsen},
  title     = {Regular expression containment: coinductive axiomatization and computational interpretation},
  booktitle = {POPL},
  pages     = {385--398},
  publisher = {{ACM}},
  year      = {2011},,
  doi       = {10.1145/1926385.1926429},
}