Linear Logic - Search