m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
path: root/mgr.tex
diff options
context:
space:
mode:
Diffstat (limited to 'mgr.tex')
-rw-r--r--mgr.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/mgr.tex b/mgr.tex
index 61e5039..a708738 100644
--- a/mgr.tex
+++ b/mgr.tex
@@ -161,7 +161,7 @@ successive answer is constant. \lineardelaylin\ is a generalization of
in the size of the answer being output. \textcite{bagan2006} introduced this
second notion and showed that enumerating MSO queries is \lineardelaylin\ on
trees. This in particular means that enumerating MSO queries for formulae whose
-free variables are all first order is in \constantdelaylin, and
+free variables are all first-order is in \constantdelaylin, and
\textcite{kazana2013} revisit this result, proving it using deterministic
factorization forests due to \textcite{colcombet} rather than Bagan's intricate
indexing structure.