A rule-based theorem prover: an introduction to proofs in secondary schools      (Journal Article)

<Overall Information> Journal Name: Electronic Proceedings In Theoretical Computer Science Doi: 10.4204/EPTCS.375.3 Volume: 375 Pages: 24-37 Revision: No