M. Masseron Christophe Tollu Jacqueline Vauzeilles Generating Plans in Linear Logic. 63-75 1990 conf/fsttcs/1990 FSTTCS db/conf/fsttcs/fsttcs90.html#MasseronTV90 http://dx.doi.org/10.1007/3-540-53487-3_35