Alain Hui-Bon-Hoa Clause-based proofs for hereditary Harrop formulas. 179-193 1995 ILPS db/conf/slp/slp95.html#Hui-Bon-Hoa95