Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification Andrei Voronkov OriginalPaper Pages: 121 - 151
Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm Michaƫl RusinowitchSorin StratulatFrancis Klay OriginalPaper Pages: 153 - 177
A Branching Time Temporal Framework for Quantitative Reasoning Krishnendu ChatterjeePallab DasguptaP. P. Chakrabarti OriginalPaper Pages: 205 - 232