Rekursives Lernen. Eine präzise Implikationsprozedur und ihre Anwendung auf die Testmustergenerierung in digitalen Schaltungen - Kunz, Wolfgang (Universität, 1992)