On the solution of schubert's steamroller in many sorted logic (1985)

by A G Cohn
Venue:In Proceedings of the Ninth International Joint Conference on Artificial Intelligence