A mechanical solution of schubert’s steamroller by many-sorted resolution (1984)

by C Walther
Venue:In Proceedings of the fourth Annual Meeting of the American Association for Artificial Intelligence, AAAI ’84