leis_towards_1992:
  type: article
  title: Towards {Kleene} {Algebra} with recursion
  author: Leiß, Haas
  date: 1992
  editor:
  - Börger, Egon
  - Jäger, Gerhard
  - Kleine Büning, Hans
  - Richter, Michael M.
  page-range: 242-256
  serial-number:
    doi: 10.1007/BFb0023771
    isbn: 978-3-540-47285-8
  abstract: We extend Kozen's theory KA of Kleene Algebra to axiomatize parts of the equational theory of context-free languages, using a least fixed-point operator μ instead of Kleene's iteration operator*.
  parent:
    type: proceedings
    title: Computer {Science} {Logic}
    publisher:
      name: Springer
      location: Berlin, Heidelberg