@article{RSMUP_1989__82__9_0,
     author = {Baratella, Stefano},
     title = {Karp's interpolation theorem for some classes of infinitary languages},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     pages = {9--23},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {82},
     year = {1989},
     mrnumber = {1049582},
     zbl = {0702.03015},
     language = {en},
     url = {http://www.numdam.org/item/RSMUP_1989__82__9_0/}
}