-#LyX 2.1 created this file. For more info see http://www.lyx.org/
-\lyxformat 459
+#LyX 2.2 created this file. For more info see http://www.lyx.org/
+\lyxformat 508
\begin_document
\begin_header
+\save_transient_properties true
+\origin /systemlyxdir/templates/
\textclass sigplanconf
\options natbib
\use_default_options false
\maintain_unincluded_children false
\language english
\language_package default
-\inputencoding default
+\inputencoding auto
\fontencoding global
-\font_roman default
-\font_sans default
-\font_typewriter default
-\font_math auto
+\font_roman "default" "default"
+\font_sans "default" "default"
+\font_typewriter "default" "default"
+\font_math "auto" "auto"
\font_default_family default
\use_non_tex_fonts false
\font_sc false
\font_osf false
-\font_sf_scale 100
-\font_tt_scale 100
+\font_sf_scale 100 100
+\font_tt_scale 100 100
\graphics default
\default_output_format default
\output_sync 0
\use_geometry false
\use_package amsmath 1
\use_package amssymb 1
+\use_package cancel 0
\use_package esint 0
\use_package mathdots 1
\use_package mathtools 0
\use_package stmaryrd 0
\use_package undertilde 0
\cite_engine basic
-\cite_engine_type numerical
+\cite_engine_type default
\biblio_style plain
\use_bibtopic false
\use_indices false
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_inset
+\end_layout
+
+\begin_layout DOI
+10.1145/143365.143376
+\begin_inset Note Note
+status collapsed
+
+\begin_layout Plain Layout
+the digital identifier assigned at doi.acm.org
+\end_layout
+
+\end_inset
+
+
\end_layout
\begin_layout Title
Bla bla, as listed in
\begin_inset CommandInset citation
LatexCommand cite
-key "Parkin2005,LComp2004"
+key "article-minimal,phdthesis-minimal"
\end_inset
\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
\begin_layout Standard
\begin_inset CommandInset bibtex
LatexCommand bibtex
-bibfiles "../examples/biblioExample"
+bibfiles "xampl"
options "bibtotoc,plainnat"
\end_inset
\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