An Intuitionistic Resolution Method for a Language Dealing with Scope Constraints

Alain Hui-Bon-Hoa. An Intuitionistic Resolution Method for a Language Dealing with Scope Constraints. In ILPS. pages 667, 1993.

Abstract

Abstract is missing.