Erich Grädel Guarded fixed point logics and the monadic theory of countable trees. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2002, v:288, n:1, pp:129-152 [Journal]
Zenon Sadowski On an optimal propositional proof system and the structure of easy subsets of TAUT. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2002, v:288, n:1, pp:181-193 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP