Ronald E. Prather
Ronald Prather.
Computational aids for determining the minimal form of a truth function.
Journal of the ACM
, 7(4):299-310, October 1960.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database