Intuitionistic Resolution for a Logic Programming Language with Scoping Constructs.

Alain Hui-Bon-Hoa Intuitionistic Resolution for a Logic Programming Language with Scoping Constructs. 121-140 1994 conf/tacs/1994 TACS db/conf/tacs/tacs94.html#Hoa94