TY  - JOUR
A1  - Kunz, Wolfgang
T1  - Ein effizientes Verfahren für die Logikvertifikation
Y1  - 1994
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/28649
ER  -