Sperner's theorem on maximal-sized antichains and its generation /

Includes bibliographical references.

On finding the maximal elements in a set of plane vectors /

"UIUCDCS-R-74-667"

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

"UILU-ENG 78-1734."