Theorem-Proving with Resolution and Superposition: An Extension of the Knuth and Bendic Procedure to a Complete Set of Inference Rules

Sorry, there's nothing here.

Cite this paper

@inproceedings{Rusinowitch1988TheoremProvingWR, title={Theorem-Proving with Resolution and Superposition: An Extension of the Knuth and Bendic Procedure to a Complete Set of Inference Rules}, author={Micha{\"{e}l Rusinowitch}, booktitle={FGCS}, year={1988} }