@article{DMTMAB20,
  title    = "Formal analysis of the {C}ompact {P}osition {R}eporting algorithm",
  journal  = "Formal Aspects of Computing",
  year     = "2020",
  publisher = "Springer",
  doi      = "10.1007/s00165-019-00504-0",
  url      = "http://link.springer.com/article/10.1007/s00165-019-00504-0",
  author   = "Aaron Dutle and Mariano Moscato and Laura Titolo and C{\'{es}}ar Mu{\~n}oz and Gregory Anderson and Fran{\c{c}}ois Bobot",
}