in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 2183, Pages: 170-190
Conference
International Seminar on Proof Theory in Computer Science, Ptcs 2001, Date: 7 October 2001 through 12 October 2001