Generating plans in Linear Logic (1993)

by M Masseron, C Tollu, J Vauzeilles
Venue:I. Actions as proofs,” Theoretical Computer Science