On the Solution of Schubert's Steamroller in Many-Sorted Logic

Cohn. "On the Solution of Schubert's Steamroller in Many-Sorted Logic." International Joint Conference on Artificial Intelligence, 1985.

[Cohn. "On the Solution of Schubert's Steamroller in Many-Sorted Logic." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/cohn1985ijcai-solution/)

@inproceedings{cohn1985ijcai-solution,
  title     = {{On the Solution of Schubert's Steamroller in Many-Sorted Logic}},
  author    = {Cohn, Anthony G.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {1169-1174},
  url       = {https://mlanthology.org/ijcai/1985/cohn1985ijcai-solution/}
}