Undergraduate thesis at Yeshiva University.
Incorporated into Ordered direct implicational basis of a finite closure system