in COMPUTER SCIENCE LOGIC, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 4207, Pages: 240-255 (16)
Conference
20Th International Workshop on Computer Science Logic/15Th Annual Conference of the European-Association-For-Computer-Science-Logic, Date: SEP 25-29, 2006, Location: Szeged, HUNGARY, Sponsors: European Assoc Comp Sci Log
