@incollection{Viswanathan2:2004,
    Author = {Viswanathan, Mahesh and Viswanathan, Ramesh},
    BookTitle = {CONCUR 2004 - Concurrency Theory},
    Editor = {Gardner, Philippa and Yoshida, Nobuko},
    File = {A Higher Order Modal Fixed Point Logic - Viswanathan, Viswanathan (0) (0) - a - a - y.pdf},
    ISBN = {978-3-540-22940-7},
    Pages = {512-528},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {A Higher Order Modal Fixed Point Logic},
    URL = {http://dx.doi.org/10.1007/978-3-540-28644-8\_33},
    Volume = {3170},
    Year = {2004},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-28644-8\_33},
    date-added = {2014-03-17 10:49:13 +0000},
    date-modified = {2014-03-24 07:44:37 +0000},
    file-2 = {A Higher Order Modal Fixed Point Logic - Viswanathan, Viswanathan (1) (0) - a - a - y.pdf},
    doi = {10.1007/978-3-540-28644-8_33}
}

@incollection{Viswanathan2:2004, Author = {Viswanathan, Mahesh and Viswanathan, Ramesh}, BookTitle = {CONCUR 2004 - Concurrency Theory}, Editor = {Gardner, Philippa and Yoshida, Nobuko}, File = {A Higher Order Modal Fixed Point Logic - Viswanathan, Viswanathan (0) (0) - a - a - y.pdf}, ISBN = {978-3-540-22940-7}, Pages = {512-528}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {A Higher Order Modal Fixed Point Logic}, URL = {http://dx.doi.org/10.1007/978-3-540-28644-8_33}, Volume = {3170}, Year = {2004}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-28644-8_33}, date-added = {2014-03-17 10:49:13 +0000}, date-modified = {2014-03-24 07:44:37 +0000}, file-2 = {A Higher Order Modal Fixed Point Logic - Viswanathan, Viswanathan (1) (0) - a - a - y.pdf}, doi = {10.1007/978-3-540-28644-8_33} }