@InProceedings{l00-p397-406, AUTHOR = {Marie-Pierre B\'eal and Olivier Carton and Christophe Prieur and Jacques Sakarovitch}, TITLE = {Squaring Transducers: An Efficient Procedure for Deciding Functionality and Sequentiality of Transducers}, YEAR = 2000, BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)}, ADDRESS = {Punta del Este, Uruguay}, PAGES = {397--406}, KEYWORDS = {}}