@incollection{Walukiewicz:2005,
    Author = {Walukiewicz, Igor},
    BookTitle = {Logic for Programming, Artificial Intelligence, and Reasoning},
    Editor = {Baader, Franz and Voronkov, Andrei},
    ISBN = {978-3-540-25236-8},
    Pages = {184-193},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {How to Fix It: Using Fixpoints in Different Contexts},
    URL = {http://dx.doi.org/10.1007/978-3-540-32275-7\_13},
    Volume = {3452},
    Year = {2005},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-32275-7\_13},
    date-added = {2014-01-29 18:32:27 +0000},
    date-modified = {2014-01-29 18:32:27 +0000},
    doi = {10.1007/978-3-540-32275-7_13}
}

@incollection{Walukiewicz:2005, Author = {Walukiewicz, Igor}, BookTitle = {Logic for Programming, Artificial Intelligence, and Reasoning}, Editor = {Baader, Franz and Voronkov, Andrei}, ISBN = {978-3-540-25236-8}, Pages = {184-193}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {How to Fix It: Using Fixpoints in Different Contexts}, URL = {http://dx.doi.org/10.1007/978-3-540-32275-7_13}, Volume = {3452}, Year = {2005}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-32275-7_13}, date-added = {2014-01-29 18:32:27 +0000}, date-modified = {2014-01-29 18:32:27 +0000}, doi = {10.1007/978-3-540-32275-7_13} }