TY  - RPRT
TI  - Decidability in the logic of subsequences and supersequences
AU  - Prateek Karandikar
AU  - Philippe Schnoebelen
PY  - 2015
DO  - 10.4230/lipics.fsttcs.2015.84
UR  - https://arxiv.org/abs/1510.03994
ID  - 1510.03994
ER  -