@Inproceedings{EPTCS313.1,
  author    = {Font, Ludovic and Cyr, S\'ebastien and Richard, Philippe R. and Gagnon, Michel},
  year      = {2020},
  title     = {Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context},
  editor    = {Quaresma, Pedro and Neuper, Walther and Marcos, Jo\~ao},
  booktitle = {{\rm Proceedings 8th International Workshop on}
               Theorem Proving Components for Educational Software,
               {\rm Natal, Brazil, 25th August 2019}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {313},
  publisher = {Open Publishing Association},
  pages     = {1-16},
  doi       = {10.4204/EPTCS.313.1},
}