From a3219a82dcb2b5cdff512b75577a3fe0d7dd91b4 Mon Sep 17 00:00:00 2001 From: Marcin Chrzanowski Date: Thu, 9 Dec 2021 15:53:49 +0100 Subject: Add MSO to automaton citation --- mgr.tex | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'mgr.tex') diff --git a/mgr.tex b/mgr.tex index 8b626dc..3556e3c 100644 --- a/mgr.tex +++ b/mgr.tex @@ -304,7 +304,8 @@ We make use of a fundamental theorem tying MSO logic on trees and tree automata: We note that the converse of this theorem is also true (i.e. that for every tree automaton, there is a corresponding MSO formula), however we will use only the -MSO to automata direction in this work. +MSO to automata direction in this work. See for example Bojańczyk's text +\cite{bojanczyktoolbox} for a proof of both directions. \section{Query answering problems}\label{query-answering-problems} -- cgit v1.2.3