M. Masseron Christophe Tollu Jacqueline Vauzeilles Generating Plans in Linear Logic I. Actions as Proofs. 349-370 1993 113 Theor. Comput. Sci. 2 db/journals/tcs/tcs113.html#MasseronTV93