Zur Komplexität von Entscheidungsalgorithmen, die auf dem Herbrand'schen Satz und regulärer Resolution beruhen. - Wietlisbach, Markus Niklaus (1981)