TY  - RPRT
TI  - Automata Terms in a Lazy WSkS Decision Procedure (Technical Report)
AU  - Vojtěch Havlena
AU  - Lukáš Holík
AU  - Ondřej Lengál
AU  - Tomáš Vojnar
PY  - 2019
UR  - https://arxiv.org/abs/1905.08697
ID  - 1905.08697
ER  -