An O(n log n)-space decision procedure for intuitionistic propositional logic (1993)

by J Hudelmaier
Venue:Journal of Logic and Computation