Algebra and Logic

Proceedings Paper
Bonfante,G;Kahle,R;Marion,JY;Oitavem,I
COMPUTER SCIENCE LOGIC, PROCEEDINGS
22nd International Workshop on Computer Science Logic/17th Annual Conference of the European-Association-for-Computer-Science-Logic
Lecture Notes in Computer Science
2008
5213

49-63
10.1007/978-3-540-87531-46