Inventory of fragments and exact models in intuitionistic propositional logic
Inventory of fragments and exact models in intuitionistic propositional logic / Lex Hendriks