
Journals in DBLP
 Andreas Blass, Yuri Gurevich
Inadequacy of computable loop invariants. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2001, v:2, n:1, pp:111 [Journal]
 Michael Fisher, Clare Dixon, Martin Peim
Clausal temporal resolution. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2001, v:2, n:1, pp:1256 [Journal]
 Sofie Verbaeten, Danny De Schreye, Konstantinos F. Sagonas
Termination proofs for logic programs with tabling. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2001, v:2, n:1, pp:5792 [Journal]
 Randal E. Bryant, Steven M. German, Miroslav N. Velev
Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2001, v:2, n:1, pp:93134 [Journal]
 Leonid Libkin
Logics capturing local properties. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2001, v:2, n:1, pp:135153 [Journal]
