N. Labai, T. Kotek, M. Ortiz de la Fuente, H. Veith:
"Pebble-Intervals Automata and FO2 with Two Orders (Extended Version";
Report for CoRR; Report No. 1912.00171, 2019; 45 pages.
https://arxiv.org/pdf/1912.00171.pdf
Project Head Mantas Simkus:
KtoAPP
Project Head Mantas Simkus:
OMEGA