"On Emptiness and Membership Problems for Set Automata."

Alexander A. Rubtsov, Mikhail N. Vyalyi (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics