Jean-Marc Andreoli Logic Programming with Focusing Proofs in Linear Logic. 297-347 1992 2 J. Log. Comput. 3 db/journals/logcom/logcom2.html#Andreoli92