Bruno Courcelle A Monadic Second-Order Definition of the Structure of Convex Hypergraphs. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:178, n:2, pp:391-411 [Journal]
Jerzy Marcinkowski The [exist]*[forall]* Part of the Theory of Ground Term Algebra Modulo an AC Symbol is Undecidable. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:178, n:2, pp:412-421 [Journal]
Philippe de Groote On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-Conversions. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:178, n:2, pp:441-464 [Journal]