A Bottom-Up Interpreter for a Higher-Order Logic Programming Language. - Alain Hui-Bon-Hoa (PLILP, 1992)

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

Fixpoint Semantics of L lambda. - Maurizio Martelli; Alessandro Messora; Catuscia Palamidessi; Alain Hui-Bon-Hoa (GULP-PRODE (1), 1994)

Intuitionistic Implication and Resolution. - Alain Hui-Bon-Hoa (ILPS, 1994)

Intuitionistic Resolution for a Logic Programming Language with Scoping Constructs. - Alain Hui-Bon-Hoa (TACS, 1994)

Clause-based proofs for hereditary Harrop formulas. - Alain Hui-Bon-Hoa (ILPS, 1995)