Publications by year

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