Algebra and Logic

Article
Bonfante,G;Kahle,R;Marion,JY;Oitavem,I
COMPUTER SCIENCE LOGIC, PROCEEDINGS
20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic
Lecture Notes in Computer Science
2006
4207

212-224
10.1007/11874683_14