The poor man's proof assistant: using prolog to develop formal language theoretic proofs.

Joey Eremondi

Browse the full OOPSLA paper archive.