
Journals in DBLP
 Thomas Lukasiewicz
Probabilistic logic programming with conditional constraints. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2001, v:2, n:3, pp:289339 [Journal]
 Uwe Egly, Hans Tompits
Proofcomplexity results for nonmonotonic reasoning. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2001, v:2, n:3, pp:340387 [Journal]
 Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled
Parametric temporal logic for "model measuring". [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2001, v:2, n:3, pp:388407 [Journal]
 Orna Kupferman, Moshe Y. Vardi
Weak alternating automata are not that weak. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2001, v:2, n:3, pp:408429 [Journal]
