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 75-76, ACM, 2013. [doi]
@inproceedings{Eremondi13,
title = {The poor man's proof assistant: using prolog to develop formal language theoretic proofs},
author = {Joey Eremondi},
year = {2013},
doi = {10.1145/2508075.2508088},
url = {http://doi.acm.org/10.1145/2508075.2508088},
researchr = {https://researchr.org/publication/Eremondi13},
cites = {0},
citedby = {0},
pages = {75-76},
booktitle = {Conference on Systems, Programming, and Applications: Software for Humanity, SPLASH '13, Indianapolis, IN, USA, October 26-31, 2013 - Companion Volume},
editor = {Antony L. Hosking and Patrick Th. Eugster},
publisher = {ACM},
isbn = {978-1-4503-1995-9},
}