Ronald C. de Vries
Ronald C. de Vries.
Minimal sets of distinct literals for a logically passive function.
Journal of the ACM
, 18(3):431-443, July 1971.
References, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database