The CADE-13 automated theorem proving system competition (Kluwer, 1997)
Literaturangaben. - In: Journal of automated reasoning ; 18 (1997),2 : Special issue