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

by J Hudelmaier
Venue:J. Log. Comput