Analysis of algorithms for the recognition of rational and context-free trace languages A. Avellone; M. Goldwurm — 1998 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications