Improving the Expressiveness of Many Sorted Logic

Cohn. "Improving the Expressiveness of Many Sorted Logic." AAAI Conference on Artificial Intelligence, 1983.

[Cohn. "Improving the Expressiveness of Many Sorted Logic." AAAI Conference on Artificial Intelligence, 1983.](https://mlanthology.org/aaai/1983/cohn1983aaai-improving/)

@inproceedings{cohn1983aaai-improving,
  title     = {{Improving the Expressiveness of Many Sorted Logic}},
  author    = {Cohn, Anthony G.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {84-87},
  url       = {https://mlanthology.org/aaai/1983/cohn1983aaai-improving/}
}