Algebraic Decision Procedures for Local Testability

Robert McNaughton. Algebraic Decision Procedures for Local Testability. Theory Comput. Syst., 8(1):60-76, 1974.

Abstract

Abstract is missing.