@INPROCEEDINGS{Kla:MonaFido:logic:aut:conn,
	AUTHOR = {Klarlund, Nils},
	TITLE = {Mona \& Fido: The Logic-Automaton Connection
in Practice},
	BOOKTITLE = {Computer Science Logic, CSL '97},
	YEAR = {1998},
        SERIES = {LNCS},
        NOTE= {LNCS 1414},
}