@article{CM_1956-1958__13__277_0,
     author = {Gilmore, P. C.},
     title = {An addition to {\textquotedblleft}logic of many-sorted theories{\textquotedblright}},
     journal = {Compositio Mathematica},
     pages = {277--281},
     publisher = {Kraus Reprint},
     volume = {13},
     year = {1956-1958},
     mrnumber = {106176},
     zbl = {0149.24502},
     language = {en},
     url = {http://www.numdam.org/item/CM_1956-1958__13__277_0/}
}