equal
deleted
inserted
replaced
1244 \url{http://www.inf.kcl.ac.uk/staff/urbanc/lex}.\medskip |
1244 \url{http://www.inf.kcl.ac.uk/staff/urbanc/lex}.\medskip |
1245 |
1245 |
1246 \noindent |
1246 \noindent |
1247 {\bf Acknowledgements:} |
1247 {\bf Acknowledgements:} |
1248 We are very grateful to Martin Sulzmann for his comments on our work and |
1248 We are very grateful to Martin Sulzmann for his comments on our work and |
1249 moreover patiently explaining to us the details in \cite{Sulzmann2014}. We |
1249 moreover for patiently explaining to us the details in \cite{Sulzmann2014}. We |
1250 also received very helpful comments from James Cheney and anonymous referees. |
1250 also received very helpful comments from James Cheney and anonymous referees. |
1251 \small |
1251 \small |
1252 \bibliographystyle{plain} |
1252 \bibliographystyle{plain} |
1253 \bibliography{root} |
1253 \bibliography{root} |
1254 |
1254 |