A Linear Logic Programming Language with Parallel and Sequential Conjunction.

Paola Bruscoli Alessio Guglielmi A Linear Logic Programming Language with Parallel and Sequential Conjunction. 409-420 1995 conf/agp/1995 GULP-PRODE db/conf/agp/gulp-prode1995.html#BruscoliG95