Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Chubarov, Dimitri
and
Voronkov, Andrei
2005.
Mechanizing Mathematical Reasoning.
Vol. 2605,
Issue. ,
p.
132.
Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more: https://www.cambridge.org/universitypress/about-us/news-and-blogs/cambridge-university-press-publishing-update-following-technical-disruption
Published online by Cambridge University Press: 12 March 2014
We prove that for a natural class of first-order formulas the validity problem is -complete.