Generating Plans in Linear Logic (1991)

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