@chapter{DaxHofmannLange,
    Author = {Dax, Christian and Hofmann, Martin and Lange, Martin},
    BookTitle = {FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science},
    File = {A Proof System for the Linear Time {$\mu$}-Calculus - Dax, Hofmann, Lange (0) (0) - a - a - y.pdf},
    Keywords = {size-change termination},
    Pages = {273--284},
    Series = {Lecture Notes in Computer Science},
    Title = {A Proof System for the Linear Time {$\mu$}-Calculus},
    Volume = {4337},
    Year = {2006},
    bdsk-url-1 = {http://www.springerlink.com/content/563g754835115374/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/11944836\_26},
    date-added = {2012-03-09 15:09:20 +0100},
    date-modified = {2012-03-09 14:11:43 +0000},
    doi = {10.1007/11944836_26}
}

@chapter{DaxHofmannLange, Author = {Dax, Christian and Hofmann, Martin and Lange, Martin}, BookTitle = {FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science}, File = {A Proof System for the Linear Time {$\mu$}-Calculus - Dax, Hofmann, Lange (0) (0) - a - a - y.pdf}, Keywords = {size-change termination}, Pages = {273--284}, Series = {Lecture Notes in Computer Science}, Title = {A Proof System for the Linear Time {$\mu$}-Calculus}, Volume = {4337}, Year = {2006}, bdsk-url-1 = {http://www.springerlink.com/content/563g754835115374/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/11944836_26}, date-added = {2012-03-09 15:09:20 +0100}, date-modified = {2012-03-09 14:11:43 +0000}, doi = {10.1007/11944836_26} }