Robert Nieuwenhuis. Basic Paramodulation and Decidable Theories (Extended Abstract). In LICS. pages 473-482, 1996.
@inproceedings{Nieuwenhuis96,
title = {Basic Paramodulation and Decidable Theories (Extended Abstract)},
author = {Robert Nieuwenhuis},
year = {1996},
researchr = {https://researchr.org/publication/Nieuwenhuis96},
cites = {0},
citedby = {0},
pages = {473-482},
booktitle = {LICS},
}