-#LyX 2.1 created this file. For more info see http://www.lyx.org/
-\lyxformat 474
+#LyX 2.2 created this file. For more info see http://www.lyx.org/
+\lyxformat 484
\begin_document
\begin_header
\textclass sigplanconf
status open
\begin_layout Plain Layout
-This is a template LyX file for articles to be submitted to the Special
- Interest Group on Programming Languages (SIGPLAN).
- How to install the SIGPLAN LaTeX class to your LaTeX system is explained
- in
+This is a template \SpecialChar LyX
+ file for articles to be submitted to the Special Interest
+ Group on Programming Languages (SIGPLAN).
+ How to install the SIGPLAN \SpecialChar LaTeX
+ class to your \SpecialChar LaTeX
+ system is explained in
\begin_inset Flex URL
status open
\end_inset
-June 12--15, 2005, Chicago, Illinois, USA.
+June 12–15, 2005, Chicago, Illinois, USA.
\end_layout
\begin_layout CopyrightYear
\end_layout
\begin_layout Section*
------------------
+—————–
\end_layout
\begin_layout Standard
-You can use either BibTeX:
+You can use either Bib\SpecialChar TeX
+:
\begin_inset Note Note
status open
\end_layout
\begin_layout Section*
----------------------
+———————
\end_layout
\begin_layout Standard
\emph on
Symposium on Logic in Computer Science (LICS ’01)
\emph default
-, pages 247--258.
+, pages 247–258.
IEEE, 2001.
\end_layout