Stephen A. Cook, Antonina Kolokolova. A second-order system for polynomial-time reasoning based on Graedel s theorem. Electronic Colloquium on Computational Complexity (ECCC), 8(24), 2001. [doi]
@article{ECCC-TR01-024,
title = {A second-order system for polynomial-time reasoning based on Graedel s theorem},
author = {Stephen A. Cook and Antonina Kolokolova},
year = {2001},
url = {http://eccc.hpi-web.de/eccc-reports/2001/TR01-024/index.html},
tags = {rule-based},
researchr = {https://researchr.org/publication/ECCC-TR01-024},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {8},
number = {24},
}