Formalizing the Logic-Automaton Connection (0)

by S Berghofer, M Reiter
Venue:In: Proc. TPHOLs. 2009