A mechanical solution of Schubert’s steamroller by many-sorted resolution (1985)

by C Walther
Venue:Artificial Intelligence