Martin Grohe Finite variable logics in descriptive complexity theory. [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 1998, v:4, n:4, pp:345-398 [Journal]
Juan Barba Construction of truth predicates: approximation versus revision. [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 1998, v:4, n:4, pp:399-417 [Journal]