Kunz W. Rekursives Lernen:Eine prazise Implikationsprozedur und ihre Anwendung auf die Testmustergenerierung indigitalen Schaltungen : Diss. / W.Kunz, 1992. - 97 S. - Текст : непосредственный.