Alain Hui-Bon-Hoa. Clause-based proofs for hereditary Harrop formulas. In ILPS. pages 179-193, 1995.
@inproceedings{Hui-Bon-Hoa95, title = {Clause-based proofs for hereditary Harrop formulas}, author = {Alain Hui-Bon-Hoa}, year = {1995}, tags = {rule-based}, researchr = {https://researchr.org/publication/Hui-Bon-Hoa95}, cites = {0}, citedby = {0}, pages = {179-193}, booktitle = {ILPS}, }