Algebra and Logic
Proceedings Paper
Cain,AJ;Oliver,G;Ruskuc,N;Thomas,RM
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2nd International Conference on Language and Automata Theory and Applications, LATA 2008
2008
5196 LNCS
149-159
10.1007/978-3-540-88282-4_15