Technical Notes (X) Series

X-1991-14:
Max I. Kanovich The Horn Fragment of Linear Logic is NP-Complete