Isomorphism testing for embeddable graphs through definability.

Martin Grohe

Browse the full STOC paper archive.