A mechanical solution of schubert’s steamroller by manysorted resolution (1984)

by C Walther
Venue:In Proceedings of the 4th AAAI