Algebra and Logic
Proceedings Paper
Oitavem,I
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
International Seminar on Proof Theory in Computer Science, PTCS 2001
2001
2183
170-190
10.1007/3-540-45504-3_11