Joey Eremondi. The poor man's proof assistant: using prolog to develop formal language theoretic proofs. In Antony L. Hosking, Patrick Th. Eugster, editors, Conference on Systems, Programming, and Applications: Software for Humanity, SPLASH '13, Indianapolis, IN, USA, October 26-31, 2013 - Companion Volume. pages 101-102, ACM, 2013. [doi]
Abstract is missing.