A First-Order Isomorphism Theorem (1993)

by Eric Allender , Jose Balcázar , Neil Immerman
Venue:SIAM JOURNAL ON COMPUTING
Citations:24 - 5 self