@inproceedings{BackhouseCF10,
  title = {The Algorithmics of Solitaire-Like Games},
  author = {Roland Carl Backhouse and Wei Chen and João F. Ferreira},
  year = {2010},
  doi = {10.1007/978-3-642-13321-3_1},
  url = {http://dx.doi.org/10.1007/978-3-642-13321-3_1},
  researchr = {https://researchr.org/publication/BackhouseCF10},
  cites = {0},
  citedby = {0},
  pages = {1-18},
  booktitle = {mpc},
}

@inproceedings{BackhouseF08,
  title = {Recounting the Rationals: Twice!},
  author = {Roland Carl Backhouse and João F. Ferreira},
  year = {2008},
  doi = {10.1007/978-3-540-70594-9_6},
  url = {http://dx.doi.org/10.1007/978-3-540-70594-9_6},
  researchr = {https://researchr.org/publication/BackhouseF08},
  cites = {0},
  citedby = {0},
  pages = {79-91},
  booktitle = {mpc},
}

@inproceedings{Ferreira10,
  title = {Designing an Algorithmic Proof of the Two-Squares Theorem},
  author = {João F. Ferreira},
  year = {2010},
  doi = {10.1007/978-3-642-13321-3_10},
  url = {http://dx.doi.org/10.1007/978-3-642-13321-3_10},
  researchr = {https://researchr.org/publication/Ferreira10},
  cites = {0},
  citedby = {0},
  pages = {140-156},
  booktitle = {mpc},
}