Loop-free construction of counter-models for intuitionistic propositional logic

Proceedings of the 2nd Gauss Symposium. Conference A: Mathematics and Theoretical Physics (Munich, 1993)