TY  - RPRT
TI  - Büchi-Kamp Theorems for 1-clock ATA
AU  - Shankara Narayanan Krishna
AU  - Khushraj Madnani
AU  - Paritosh Pandya
PY  - 2018
UR  - https://arxiv.org/abs/1802.02514
ID  - 1802.02514
ER  -