@chapter{Parigot,
    Author = {Parigot, Michel},
    BookTitle = {Logic Programming and Automated Reasoning},
    File = {{$\lambda$}{$\mu$}-Calculus An algorithmic interpretation of classical natural deduction - Parigot (0) (0) - a - a - c.pdf},
    Keywords = {lambda calculus},
    Pages = {190--201},
    Series = {Lecture Notes in Computer Science},
    Title = {{$\lambda$}{$\mu$}-Calculus: An algorithmic interpretation of classical natural deduction},
    Volume = {624},
    Year = {1992},
    bdsk-url-1 = {http://www.springerlink.com/content/5x552812m8150709/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/BFb0013061},
    date-added = {2012-07-07 20:50:06 +0200},
    date-modified = {2012-07-07 18:52:03 +0000},
    doi = {10.1007/BFb0013061}
}

@chapter{Parigot, Author = {Parigot, Michel}, BookTitle = {Logic Programming and Automated Reasoning}, File = {{$\lambda$}{$\mu$}-Calculus An algorithmic interpretation of classical natural deduction - Parigot (0) (0) - a - a - c.pdf}, Keywords = {lambda calculus}, Pages = {190--201}, Series = {Lecture Notes in Computer Science}, Title = {{$\lambda$}{$\mu$}-Calculus: An algorithmic interpretation of classical natural deduction}, Volume = {624}, Year = {1992}, bdsk-url-1 = {http://www.springerlink.com/content/5x552812m8150709/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/BFb0013061}, date-added = {2012-07-07 20:50:06 +0200}, date-modified = {2012-07-07 18:52:03 +0000}, doi = {10.1007/BFb0013061} }