Generating plans in linear logic (0)

by M Masseron, C Tollu, J Vauzeilles
Venue:In Foundations of Software Technology and Theoretical Computer Science, LNCS, Springer,1991