Tamás Gergely, Konstantin Vershinin. Negative Hyper-Resolution for Proving Statements Containing Transitive Relations. In IJCAI. pages 877-881, 1983.
@inproceedings{GergelyV83, title = {Negative Hyper-Resolution for Proving Statements Containing Transitive Relations}, author = {Tamás Gergely and Konstantin Vershinin}, year = {1983}, researchr = {https://researchr.org/publication/GergelyV83}, cites = {0}, citedby = {0}, pages = {877-881}, booktitle = {IJCAI}, }