Martin Grohe Existential Least Fixed-Point Logic and its Relatives. 205-228 1997 7 J. Log. Comput. 2 db/journals/logcom/logcom7.html#Grohe97