Alain Hui-Bon-Hoa. Intuitionistic Implication and Resolution. In Workshop on Design and Impl. of Parallel Logic Programming Systems. pages 409-423, 1994.
@inproceedings{Hui-Bon-Hoa94,
title = {Intuitionistic Implication and Resolution},
author = {Alain Hui-Bon-Hoa},
year = {1994},
researchr = {https://researchr.org/publication/Hui-Bon-Hoa94},
cites = {0},
citedby = {0},
pages = {409-423},
booktitle = {Workshop on Design and Impl. of Parallel Logic Programming Systems},
}