Grigori Mints: Strategies for Resolution Method in Non-classical Logics (Abstract). Kurt Gödel Colloquium 1993: 62