First Order Formulas with Modular Predicates.

Laura Chaubard, Jean-Eric Pin, Howard Straubing

Browse the full LICS paper archive.