Combining Nonstably Infinite Theories Cesare TinelliCalogero G. Zarba OriginalPaper 14 June 2006 Pages: 209 - 238
Simplifying Proofs in Fitch-Style Natural Deduction Systems Konstantine Arkoudas OriginalPaper 29 June 2006 Pages: 239 - 294
First-Order Temporal Verification in Practice M. C. Fernández-GagoU. HustadtB. Konev OriginalPaper 14 June 2005 Pages: 295 - 321