henglein_regular_2011:
  type: article
  title: 'Regular expression containment: Coinductive axiomatization and computational interpretation'
  author:
  - Henglein, Fritz
  - Nielsen, Lasse
  date: 2011-01
  page-range: 385-398
  url: https://dl.acm.org/doi/10.1145/1925844.1926429
  serial-number:
    doi: 10.1145/1926385.1926429
  parent:
    type: proceedings
    title: POPL
    issue: 1
    volume: 46