@incollection{KhoussainovNerode:95,
    Author = {Khoussainov, Bakhadyr and Nerode, Anil},
    BookTitle = {Logic and Computational Complexity},
    Editor = {Leivant, Daniel},
    File = {Automatic presentations of structures - Khoussainov, Nerode (0) (0) - a - a - m.pdf},
    ISBN = {978-3-540-60178-4},
    Keywords = {classic and no pdf},
    Pages = {367-392},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Automatic presentations of structures},
    URL = {http://dx.doi.org/10.1007/3-540-60178-3\_93},
    Volume = {960},
    Year = {1995},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-60178-3\_93},
    date-added = {2013-12-24 12:17:04 +0000},
    date-modified = {2013-12-24 12:17:47 +0000},
    doi = {10.1007/3-540-60178-3_93}
}

@incollection{KhoussainovNerode:95, Author = {Khoussainov, Bakhadyr and Nerode, Anil}, BookTitle = {Logic and Computational Complexity}, Editor = {Leivant, Daniel}, File = {Automatic presentations of structures - Khoussainov, Nerode (0) (0) - a - a - m.pdf}, ISBN = {978-3-540-60178-4}, Keywords = {classic and no pdf}, Pages = {367-392}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Automatic presentations of structures}, URL = {http://dx.doi.org/10.1007/3-540-60178-3_93}, Volume = {960}, Year = {1995}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-60178-3_93}, date-added = {2013-12-24 12:17:04 +0000}, date-modified = {2013-12-24 12:17:47 +0000}, doi = {10.1007/3-540-60178-3_93} }