TY  - JOUR
A1  - Kunz, Wolfgang
A1  - Pradhan, D. K.
T1  - Recursive learning : a new implication technique for efficient solutions to CAD problems : test, verification and optimization
Y1  - 1994
ER  - 
TY  - JOUR
A1  - Kunz, Wolfgang
A1  - Menon, P.
T1  - Multi-level logic optimization by implication analysis
Y1  - 1994
SN  - 0-89791-690-5
SN  - 0-8186-6416-9
SN  - 0-8186-6417-7
ER  -