Rekursives Lernen eine präzise Implikationsprozedur und ihre Anwendung auf die Testmustergenerierung in digitalen Schaltungen - Kunz, Wolfgang (1992)
Hannover, Univ., Diss., 1992