1. Theory of traces;Aalbersberg;Theoret. Comput. Sci.,1988
2. Distributive Lattices;Balbes,1974
3. Equivalence and membership problems for regular trace languages;Bertoni,1982
4. Membership problems for regular and context-free trace languages;Bertoni;Inform. Comput.,1989
5. Analysis of a class of algorithms for problems on trace languages;Bertoni,1988