@InProceedings{SP:IJCAR-2020,
  author =       {Stephan Schulz and Adam Pease},
  title =        {Teaching Automated Theorem Proving by Example:
                  {PyRes 1.2} (system description)},
  OPTcrossref =  {},
  OPTkey =       {},
  booktitle =    {Proc.\ of the 10th IJCAR, Paris},
  year =         {2020},
  editor =       {Nicolas Peltier and Viorica Sofronie-Stokkermans},
  volume =       {12167},
  OPTnumber =    {},
  series =       {LNCS},
  pages =        {158-166},
  OPTmonth =     {},
  OPTaddress =   {},
  OPTorganization = {},
  publisher =    {Springer},
  OPTnote =      {},
  OPTannote =    {}
}