Robert Nieuwenhuis. Decidability and Complexity Analysis by Basic Paramodulation. Inf. Comput., 147(1):1-21, 1998.
@article{Nieuwenhuis98,
title = {Decidability and Complexity Analysis by Basic Paramodulation},
author = {Robert Nieuwenhuis},
year = {1998},
tags = {analysis},
researchr = {https://researchr.org/publication/Nieuwenhuis98},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {147},
number = {1},
pages = {1-21},
}