Linear Logic in Planning