@article{Moeller2015,
  author    = {Bernhard M{\"o}ller},
  title     = {Towards antichain algebra},
  journal   = {Lecture Notes in Computer Science},
  volume    = {9348},
  pages     = {344 -- 361},
  doi       = {10.1007/978-3-319-24704-5_21},
  year      = {2015},
}