TY  - RPRT
TI  - Boolean differentiation and integration using Karnaugh maps
AU  - Tucker, J. H.
AU  - Tapia, M. A.
AU  - Bennett, A. W.
PY  - 1977
UR  - https://ntrs.nasa.gov/citations/19780033686
ID  - 19780033686
ER  -