Bruno Dumant. hecking the Soundness of Resolution Schemes. In JICSLP. pages 37-51, 1992.
@inproceedings{Dumant92,
title = {hecking the Soundness of Resolution Schemes},
author = {Bruno Dumant},
year = {1992},
researchr = {https://researchr.org/publication/Dumant92},
cites = {0},
citedby = {0},
pages = {37-51},
booktitle = {JICSLP},
}