Michel Wermelinger, Artur Miguel Dias. A prolog toolkit for formal languages and automata. In José C. Cunha, William M. Fleischman, Viera K. Proulx, João Lourenço, editors, Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal, June 27-29, 2005. pages 330-334, ACM, 2005. [doi]
Abstract is missing.