@inproceedings{inproceedingsb9bb6a94,
title   = {Characterizations of locally testable events},
author = {Brzozowski, Janusz A and Simon, Imre},
year = {1971},
doi = {10.1109/SWAT.1971.6},
publisher = {IEEE},
booktitle   = {Annual Symposium on Switching and Automata Theory - SWAT}
}