Generating Plans in Linear Logic. - M. Masseron; Christophe Tollu; Jacqueline Vauzeilles (FSTTCS, 1990)

Generating Plans in Linear Logic I. A Geometry of Conjunctive Actions. - M. Masseron (Theor. Comput. Sci., 1993)

Generating Plans in Linear Logic I. Actions as Proofs. - M. Masseron; Christophe Tollu; Jacqueline Vauzeilles (Theor. Comput. Sci., 1993)