Grigori Mints: Resolution Strategies for the Intuitionistic Logic. NATO ASI CP 1993: 289-311