An exponential lower bound for a restricted class of monotone formulae for 2-unsatisfiability /

"UILU-ENG 78-1734."

Pension plan complexity : hearing before the Subcommittee on Private Retirement Plans and Oversight of the Internal Revenue Service of the Committee on Finance, United States Senate, One Hundred First Congress, second session.

"August 3, 1990"--Pt. 2.