@article{chandy,
  author    = {K. Mani Chandy and
               Leslie Lamport},
  title     = {Distributed Snapshots: Determining Global States of Distributed Systems},
  journal   = {{ACM} Trans. Comput. Syst.},
  volume    = {3},
  number    = {1},
  pages     = {63--75},
  year      = {1985},
  url       = {https://doi.org/10.1145/214451.214456},
}

@article{Ordered_Resolution_Prover-AFP,
  author  = {Anders Schlichtkrull and Jasmin Christian Blanchette and Dmitriy Traytel and Uwe Waldmann},
  title   = {Formalization of Bachmair and Ganzinger's Ordered Resolution Prover},
  journal = {Archive of Formal Proofs},
  month   = jan,
  year    = 2018,
  note    = {\url{http://isa-afp.org/entries/Ordered_Resolution_Prover.html},
            Formal proof development},
  ISSN    = {2150-914x},
}
