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

by J Hudelmaier
Venue:In: Journal of Logic and Computation 3(1)1