@article{McNaughton:1974wv,
    Author = {McNaughton, Robert},
    File = {Algebraic Decision Procedures for Local Testability - mcnaughton1974.pdf},
    ISBN = {1433-0490},
    Journal = {Mathematical systems theory},
    Number = {1},
    Pages = {60--76},
    Title = {Algebraic decision procedures for local testability},
    URL = {https://doi.org/10.1007/BF01761708},
    Volume = {8},
    Year = {1974},
    bdsk-url-1 = {https://doi.org/10.1007/BF01761708},
    da = {1974/03/01},
    date-added = {2021-08-27 14:25:15 +0200},
    date-modified = {2021-08-27 14:25:15 +0200},
    id = {McNaughton1974},
    ty = {JOUR},
    doi = {10.1007/BF01761708}
}

@article{McNaughton:1974wv, Author = {McNaughton, Robert}, File = {Algebraic Decision Procedures for Local Testability - mcnaughton1974.pdf}, ISBN = {1433-0490}, Journal = {Mathematical systems theory}, Number = {1}, Pages = {60--76}, Title = {Algebraic decision procedures for local testability}, URL = {https://doi.org/10.1007/BF01761708}, Volume = {8}, Year = {1974}, bdsk-url-1 = {https://doi.org/10.1007/BF01761708}, da = {1974/03/01}, date-added = {2021-08-27 14:25:15 +0200}, date-modified = {2021-08-27 14:25:15 +0200}, id = {McNaughton1974}, ty = {JOUR}, doi = {10.1007/BF01761708} }