- John N. Crossley, Gerald L. Mathai, Robert A. G. Seely. A logical calculus for polynomial-time realizability. Meth. of Logic in CS, 1(3):279-298, 1994.
- Anil Nerode, Victor W. Marek, V. S. Subrahmanian. Introduction. Meth. of Logic in CS, 1(1):1-3, 1994.
- James F. Peters III. Real-time linear logic. Meth. of Logic in CS, 1(4):379-412, 1994.
- Jianhua Chen. A refined semantics for disjunctive logic programs. Meth. of Logic in CS, 1(4):463-480, 1994.
- Fosca Giannotti, Dino Pedreschi, Carlo Zaniolo. Declarative Semantics for Pruning Operators in Logic Programming. Meth. of Logic in CS, 1(1):61-76, 1994.
- Gerald E. Peterson. Constrained term-rewriting induction with applications. Meth. of Logic in CS, 1(4):413-436, 1994.
- Shie-Jue Lee, David A. Plaisted. Use of replace rules in theorem proving. Meth. of Logic in CS, 1(2):217-240, 1994.
- Jianhua Chen. On the relationship between circumscription and well-founded semantics of logic programs. Meth. of Logic in CS, 1(3):339-354, 1994.
- Harrie C. M. de Swart, W. M. J. Ophelders. Tableaux, resolution, and complexity of formulas. Meth. of Logic in CS, 1(2):241-260, 1994.
- Marek A. Suchenek. Preservation properties in deductive databases. Meth. of Logic in CS, 1(3):315-338, 1994.