@article{10.2307/2586539,
    Author = {D'Agostino, Giovanna and Hollenberg, Marco},
    File = {Logical Questions Concerning the {$\mu$}-Calculus- Interpolation, Lyndon and Łoś-Tarski - 2586539 - a - a - v.pdf},
    ISSN = {00224812},
    Journal = {The Journal of Symbolic Logic},
    Number = {1},
    Pages = {310--332},
    Publisher = {Association for Symbolic Logic},
    Title = {Logical Questions Concerning the {$\mu$}-Calculus: Interpolation, Lyndon and {\L}o{\'s}-Tarski},
    URL = {http://www.jstor.org/stable/2586539},
    Volume = {65},
    Year = {2000},
    bdsk-url-1 = {http://www.jstor.org/stable/2586539},
    date-added = {2020-02-14 14:55:34 +0100},
    date-modified = {2020-02-14 14:55:34 +0100},
    doi = {10.2307/2586539}
}

@article{10.2307/2586539, Author = {D'Agostino, Giovanna and Hollenberg, Marco}, File = {Logical Questions Concerning the {$\mu$}-Calculus- Interpolation, Lyndon and Łoś-Tarski - 2586539 - a - a - v.pdf}, ISSN = {00224812}, Journal = {The Journal of Symbolic Logic}, Number = {1}, Pages = {310--332}, Publisher = {Association for Symbolic Logic}, Title = {Logical Questions Concerning the {$\mu$}-Calculus: Interpolation, Lyndon and {\L}o{\'s}-Tarski}, URL = {http://www.jstor.org/stable/2586539}, Volume = {65}, Year = {2000}, bdsk-url-1 = {http://www.jstor.org/stable/2586539}, date-added = {2020-02-14 14:55:34 +0100}, date-modified = {2020-02-14 14:55:34 +0100}, doi = {10.2307/2586539} }