Sergei N. Artëmov Anil Nerode Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings LFCS Lecture Notes in Computer Science 4514 Springer 2007 978-3-540-72732-3 db/conf/lfcs/lfcs2007.html