Ernst Zimmermann: A Subintuitionistic Logic and Some of Its Methods. RelMiCS 2001: 228-240