V. Wiktor Marek, V. S. Subrahmanian The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1992, v:103, n:2, pp:365-386 [Journal]

Thomas Streicher Independence of the Induction Principle and the Axiom of Choice in the Pure Calculus of Constructions. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1992, v:103, n:2, pp:395-408 [Journal]

Max Dauchet Simulation of Turing Machines by a Regular Rewrite Rule. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1992, v:103, n:2, pp:409-420 [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