Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification
Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm*
The Strategy of Cramming*
A Branching Time Temporal Framework for Quantitative Reasoning