Karp's interpolation theorem for some classes of infinitary languages Stefano Baratella (1989) Rendiconti del Seminario Matematico della Università di Padova