Martin Grohe Stefan Wöhrle An Existential Locality Theorem. 99-114 2001 conf/csl/2001 CSL http://link.springer.de/link/service/series/0558/bibs/2142/21420099.htm db/conf/csl/csl2001.html#GroheW01