Obere Komplexitätsschranken für TAUT-Entscheidungen (1984)

by H Luckhardt
Venue:Proc. Frege Conf