Wolfgang Bibel. A Comparative Study of Several Proof Procedures. Artificial Intelligence, 18(3):269-293, 1982.
@article{Bibel82,
title = {A Comparative Study of Several Proof Procedures},
author = {Wolfgang Bibel},
year = {1982},
researchr = {https://researchr.org/publication/Bibel82},
cites = {0},
citedby = {0},
journal = {Artificial Intelligence},
volume = {18},
number = {3},
pages = {269-293},
}