A second-order system for polytime reasoning based on Grädel's theorem (2001)

by Stephen Cook , Antonina Kolokolova
Citations:17 - 8 self