Monadic logical definability of NP--complete problems (1994)

by E Grandjean, F Olive
Venue:In Proc. 1994 of the Annual Conference of the EACSL