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
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/28648
ER  -