Journal of Logic and Computation, 2(3), 1992

• Andreoli, J.-M. (1992) Andreoli, J.-M. "Logic programming with focusing proofs in linear logic"