M
arkus
R
eiter
Entries
2009
Formalizing the Logic-Automaton Connection
by
Stefan Berghofer
🌐
and
Markus Reiter
Dec 03