@incollection{DangMoeller2019,
  author    = {Han Hing Dang and Bernhard M{\"o}ller},
  title     = {Simplifying Pointer Kleene algebra},
  booktitle = {1st Workshop on Automated Theory Engineering (ATE 2011): Wroclaw, Poland, July 31, 2011; Proceedings},
  editor    = {Peter H{\"o}fner and Annabelle McIver and Georg Struth},
  url       = {http://ceur-ws.org/Vol-760/ate2011.pdf},
  year      = {2019},
}