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

by C Walther
Venue:Artificial Intelligence