Polynomial-time computation via local inference relations (0)

by R Givan, D A McAllester
Venue:ACM Transactions on Computational Logic