TY  - RPRT
TI  - Pebble-Intervals Automata and FO2 with Two Orders (Extended Version)
AU  - Nadia Labai
AU  - Tomer Kotek
AU  - Magdalena Ortiz
AU  - Helmut Veith
PY  - 2019
UR  - https://arxiv.org/abs/1912.00171
ID  - 1912.00171
ER  -