Praktické logické programování - Matyska, Luděk, 1959- (Habilitační práce–Masarykova univerzita v Brně, Fakulta informatiky, 1998., 2000)