@InProceedings{SP20, Author = "Schulz, S. and Pease, A.", Year = "2020", Title = "{Teaching Automated Theorem Proving by Example: PyRes 1.2 (system description)}", Editor = "Peltier, N. and Sofronie-Stokkermans, V.", BookTitle = "{Proceedings of the 10th International Joint Conference on Automated Reasoning}", Place = "Online", Series = "Lecture Notes in Computer Science", Number = "12167", Pages = "158-166", Comment = "" }