A prolog toolkit for formal languages and automata.

Michel Wermelinger, Artur Miguel Dias

Browse the full ITiCSE paper archive.