First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings
Lecture Notes in Computer Science > Automated Reasoning > Tableau, Sequent, Natural Deduction Calculi and Proof Theory > 529-544
Lecture Notes in Computer Science > Automated Reasoning > Tableau, Sequent, Natural Deduction Calculi and Proof Theory > 545-560
Lecture Notes in Computer Science > Automated Reasoning > Tableau, Sequent, Natural Deduction Calculi and Proof Theory > 561-577
Lecture Notes in Computer Science > Automated Reasoning > Tableau, Sequent, Natural Deduction Calculi and Proof Theory > 578-592