%% lmcs:1628
%% https://lmcs.episciences.org/1628
%% 
@article{lmcs:1628,
  TITLE = {{Separating Regular Languages with First-Order Logic}},
  AUTHOR = {Thomas Place and Marc Zeitoun},
  URL = {https://lmcs.episciences.org/1628},
  DOI = {10.2168/LMCS-12(1:5)2016},
  JOURNAL = {{Logical Methods in Computer Science}},
  VOLUME = {{Volume 12, Issue 1}},
  YEAR = {2016},
  MONTH = Mar,
  KEYWORDS = {Computer Science - Formal Languages and Automata Theory ; Computer Science - Logic in Computer Science},
}