Robert McNaughton. Algebraic Decision Procedures for Local Testability. Theory Comput. Syst., 8(1):60-76, 1974.
@article{McNaughton74, title = {Algebraic Decision Procedures for Local Testability}, author = {Robert McNaughton}, year = {1974}, tags = {testing, algebra}, researchr = {https://researchr.org/publication/McNaughton74}, cites = {0}, citedby = {0}, journal = {Theory Comput. Syst.}, volume = {8}, number = {1}, pages = {60-76}, }