@inproceedings{4569761,
    Author = {Tokura, Nobuki and Kasami, Tadao and Furuta, Shukichi},
    BookTitle = {Switching and Automata Theory, 1974., IEEE Conference Record of 15th Annual Symposium on},
    ISSN = {0272-4847},
    Keywords = {Tellurium},
    Pages = {84-94},
    Title = {Ianov schemas augmented by a pushdown memory},
    Year = {1974},
    bdsk-url-1 = {http://dx.doi.org/10.1109/SWAT.1974.12},
    date-added = {2013-12-13 12:24:44 +0000},
    date-modified = {2013-12-13 12:24:44 +0000},
    doi = {10.1109/SWAT.1974.12}
}

@inproceedings{4569761, Author = {Tokura, Nobuki and Kasami, Tadao and Furuta, Shukichi}, BookTitle = {Switching and Automata Theory, 1974., IEEE Conference Record of 15th Annual Symposium on}, ISSN = {0272-4847}, Keywords = {Tellurium}, Pages = {84-94}, Title = {Ianov schemas augmented by a pushdown memory}, Year = {1974}, bdsk-url-1 = {http://dx.doi.org/10.1109/SWAT.1974.12}, date-added = {2013-12-13 12:24:44 +0000}, date-modified = {2013-12-13 12:24:44 +0000}, doi = {10.1109/SWAT.1974.12} }