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

by C Walther
Venue:Artificial Intelligence