in COMPUTER SCIENCE LOGIC, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 4207, Pages: 212-224 (13)
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