Andreoli, J.-M. "Logic programming with focusing proofs in linear logic"
(1992)
(1992)
Journal of Logic and Computation, 2(3), 1992
Languages mentioned
LinLog
{1992}