DMCA

Polynomial-time Computation via Local Inference Relations (2000)

Cached

Download Links

by Robert Givan , David Mcallester
Venue:ACM TRANS. COMPUT. LOGIC
Citations:23 - 0 self