@article{DutleMTMAB21,
  author       = {Aaron Dutle and
                  Mariano M. Moscato and
                  Laura Titolo and
                  C{\'{e}}sar A. Mu{\~{n}}oz and
                  Gregory Anderson and
                  Fran{\c{c}}ois Bobot},
  title        = {Formal analysis of the {C}ompact {P}osition {R}eporting algorithm},
  journal      = {Formal Aspects Computing},
  volume       = {33},
  number       = {1},
  pages        = {65--86},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-019-00504-0},
  doi          = {10.1007/S00165-019-00504-0},
}