m

CHANGELOG.md

+OASIcs Style - CHANGELOG
+
+* 04/05/2021 OASIcs-v2021 v3.1.2
+  * New feature
+        * added optional \subtitle
+        * revised displaying of swhids (hid contextual information)
+  * Bugfix
+        * fixed problem with numberwithinsect in combination with thm-restate,cleveref, autoref (This fixes #15)
+        * Fixing "supplemenatary" typo #14
+
+* 25/02/2021 OASIcs-v2021 v3.1.1
+  * Bugfix
+        * exchanged OASIcs logos to ensure PDF/A compliance
+        * corrected typo
+
+* 04/01/2021 OASIcs-v2021 v3.1.0
+    * New feature
+        * added documentclass option pdfa to explicitly enable generation of PDF according PDF/A standard
+    * Bugfix
+        * fixed problems when using old versions of hyperxmp package (This fixes #11)
+
+* 09/12/2020 OASIcs-v2021 v3.0.1
+    * Bugfix
+        * fixed bug related to unavailable sRGB.icc (This fixes #10)
+
+* 01/12/2020 OASIcs-v2021 v3.0
+    * New Feature
+        * more compact presentation of author information (email address and homepage URL only as logo)
+        * adjustment of document licence to CC-BY 4.0
+        * added anonymization (documentclass option "anonymous") also for \relatedversion and \supplement macros; resolves #9
+        * added \claimqedhere to be used in claimproof environments (similar to qedhere in proof environments); resolves #4
+        * added new macro \flag to display a flag or logo near the funding information as requested by some funding agencies (e.g. ERC grant)
+        * added \proofsubparagraph to allow structuring of proofs
+        * added new macros \relatedversiondetails and \supplementdetails to collect information regarding related version/supplementary material in a more structured way
+        * added new theorem-like environments 'conjecture' and 'observation'
+        * added support to produce PDFs according PDF/A-3B standard
+    * Minor changes
+        * revised style of procedure environment provided by algorithm2e package
+    * Bugfix
+        * fixed bug related to loaded but unused algorithm package (This fixes #2)
+        * fixed bug related to outdated algorithm2e package (This fixes #3)
+        * minor issues related to cleveref package (n-dash, oxford comma)
+
+* 29/04/2020 OASIcs-v2019 v2.2.1
+    * Minor changes
+        * export of several page numbers (end top matter, start/end bibliography, start appendix) into aux-file
+        * renamed heading of \supplement macro to "Supplementary Material"
+
+* 19/07/2019 OASIcs-v2019 v2.2
+    * New Feature
+        * explicitly defined/named colors used in style to ease reusing them (requires load of package xcolor instead of color)
+        * added document option "authorcolumns" to activate displaying author details in two columns (only allowed for more than 6 authors)
+        * revised style of algorithm environments provided by algorithm or algorithm2e packages
+        * added qed-like symbol to mark end of e.g. definitions (command \oasicsEnd)
+    * Bugfix
+        * fixed problem caused by "\\" in title macro
+
+* 06/06/2019 OASIcs-v2019 v2.1
+    * New Feature
+        * added document option "anonymous" to make author related information anonymous (e.g. for double-blind review)
+    * Bugfix
+        * fixed problems with using thm-restate (added new documentclass option thm-restate)
+        * fixed bug when using algorithm2e package and cleveref package
+        * fixed problems with texorpdfstring in author macro
+        * fixed spacing variation between author name and orcid symbol
+        * capitalised labels when using autoref (e.g. section -> Section)
+
+
+* 10/12/2018 OASIcs-v2019 v2.0
+    * New Features
+        * support of metadata in PDF file (e.g. author, title, keywords)
+        * revised displaying of author-related funding acknowledgements (now displayed as part of the funding block instead of footnotes)
+        * added support for cleveref package (new document option 'cleveref')
+        * added support for using autoref for theorem-like environments (new document option 'autoref')
+        * added new environment claim and claimproof to realize sub-proofs
+        * added new environment proposition
+    * Bugfixes
+        * fixed problems with theorem-like environments when using cleveref and autoref (see new features above)
+        * switched several URL from http to https
+        * fixed problems with using of ACM 2012 classification (deactivated subjclass and revised support of ccsdesc macro)
+    * Minor changes
+        * moved ORCID symbol behind author name (according https://orcid.org/content/journal-display-guidelines)
+        * added separator \and to split several affiliations
+        * added warnings when package 'enumitem' or 'paralist' are loaded; they manipulate the pre-defined enumeration styles and are partly incompatible
+        * preloaded package 'microtype' in style
+        * revised spacings/font sizes for top matter
+
+* 09/04/2018 OASIcs-v2018 v1.5
+    * Bugfixes
+        * Fixed problem with page style in case of many authors
+        * Fixed aggregation of authors for ToC file
+
+* 15/03/2018 OASIcs-v2018 v1.4
+    * Bugfixes
+        * Fixed enumerations
+        * Fixed aggregation of authors for ToC file
+
+* 26/02/2018 OASIcs-v2018 v1.3
+    * Bugfixes
+        * Fixed \hideOASIcs
+        * Fixed enumerations
+        * Fixed typo
+        * Revised display of ORCIDs following recommendation by ORCID
+
+* 06/02/2018 OASIcs-v2018 v1.2
+    * Release of OASIcs-v2018
+        * revised author macro \author{name}{affil}{email}{orcid}{funding}
+        * added support for ORCIDs
+        * switched to ACM 2012 classification system
+        * added new macros for extended metadata \category, \relatedversion, \supplement, \funding, \acknowledgements
+        * added warnings for missing mandatory metadata
+        * added preconfigured enumeration styles based on the enumerate package
+        * added option \hideOASIcs to hide all OASIcs related information
+        * added support for line numbers
+    * Bugfixes
+        * fixed copyright line
+        * added warning when using outdated subfig package due to incompatibilities in preloaded subcaption package
+        * fixed bug when using MnSymbol package
+        * fixed bug in numbering in theorem-like environments used in appendix
+        * fixed problems in ToC file

LICENSE.md

+The LaTeX Project Public License
+=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
+
+LPPL Version 1.3c  2008-05-04
+
+Copyright 1999 2002-2008 LaTeX3 Project
+    Everyone is allowed to distribute verbatim copies of this
+    license document, but modification of it is not allowed.
+
+
+PREAMBLE
+========
+
+The LaTeX Project Public License (LPPL) is the primary license under
+which the LaTeX kernel and the base LaTeX packages are distributed.
+
+You may use this license for any work of which you hold the copyright
+and which you wish to distribute.  This license may be particularly
+suitable if your work is TeX-related (such as a LaTeX package), but 
+it is written in such a way that you can use it even if your work is 
+unrelated to TeX.
+
+The section `WHETHER AND HOW TO DISTRIBUTE WORKS UNDER THIS LICENSE',
+below, gives instructions, examples, and recommendations for authors
+who are considering distributing their works under this license.
+
+This license gives conditions under which a work may be distributed
+and modified, as well as conditions under which modified versions of
+that work may be distributed.
+
+We, the LaTeX3 Project, believe that the conditions below give you
+the freedom to make and distribute modified versions of your work
+that conform with whatever technical specifications you wish while
+maintaining the availability, integrity, and reliability of
+that work.  If you do not see how to achieve your goal while
+meeting these conditions, then read the document `cfgguide.tex'
+and `modguide.tex' in the base LaTeX distribution for suggestions.
+
+
+DEFINITIONS
+===========
+
+In this license document the following terms are used:
+
+   `Work'
+    Any work being distributed under this License.
+    
+   `Derived Work'
+    Any work that under any applicable law is derived from the Work.
+
+   `Modification' 
+    Any procedure that produces a Derived Work under any applicable
+    law -- for example, the production of a file containing an
+    original file associated with the Work or a significant portion of
+    such a file, either verbatim or with modifications and/or
+    translated into another language.
+
+   `Modify'
+    To apply any procedure that produces a Derived Work under any
+    applicable law.
+    
+   `Distribution'
+    Making copies of the Work available from one person to another, in
+    whole or in part.  Distribution includes (but is not limited to)
+    making any electronic components of the Work accessible by
+    file transfer protocols such as FTP or HTTP or by shared file
+    systems such as Sun's Network File System (NFS).
+
+   `Compiled Work'
+    A version of the Work that has been processed into a form where it
+    is directly usable on a computer system.  This processing may
+    include using installation facilities provided by the Work,
+    transformations of the Work, copying of components of the Work, or
+    other activities.  Note that modification of any installation
+    facilities provided by the Work constitutes modification of the Work.
+
+   `Current Maintainer'
+    A person or persons nominated as such within the Work.  If there is
+    no such explicit nomination then it is the `Copyright Holder' under
+    any applicable law.
+
+   `Base Interpreter' 
+    A program or process that is normally needed for running or
+    interpreting a part or the whole of the Work.    
+
+    A Base Interpreter may depend on external components but these
+    are not considered part of the Base Interpreter provided that each
+    external component clearly identifies itself whenever it is used
+    interactively.  Unless explicitly specified when applying the
+    license to the Work, the only applicable Base Interpreter is a
+    `LaTeX-Format' or in the case of files belonging to the 
+    `LaTeX-format' a program implementing the `TeX language'.
+
+
+
+CONDITIONS ON DISTRIBUTION AND MODIFICATION
+===========================================
+
+1.  Activities other than distribution and/or modification of the Work
+are not covered by this license; they are outside its scope.  In
+particular, the act of running the Work is not restricted and no
+requirements are made concerning any offers of support for the Work.
+
+2.  You may distribute a complete, unmodified copy of the Work as you
+received it.  Distribution of only part of the Work is considered
+modification of the Work, and no right to distribute such a Derived
+Work may be assumed under the terms of this clause.
+
+3.  You may distribute a Compiled Work that has been generated from a
+complete, unmodified copy of the Work as distributed under Clause 2
+above, as long as that Compiled Work is distributed in such a way that
+the recipients may install the Compiled Work on their system exactly
+as it would have been installed if they generated a Compiled Work
+directly from the Work.
+
+4.  If you are the Current Maintainer of the Work, you may, without
+restriction, modify the Work, thus creating a Derived Work.  You may
+also distribute the Derived Work without restriction, including
+Compiled Works generated from the Derived Work.  Derived Works
+distributed in this manner by the Current Maintainer are considered to
+be updated versions of the Work.
+
+5.  If you are not the Current Maintainer of the Work, you may modify
+your copy of the Work, thus creating a Derived Work based on the Work,
+and compile this Derived Work, thus creating a Compiled Work based on
+the Derived Work.
+
+6.  If you are not the Current Maintainer of the Work, you may
+distribute a Derived Work provided the following conditions are met
+for every component of the Work unless that component clearly states
+in the copyright notice that it is exempt from that condition.  Only
+the Current Maintainer is allowed to add such statements of exemption 
+to a component of the Work. 
+
+  a. If a component of this Derived Work can be a direct replacement
+     for a component of the Work when that component is used with the
+     Base Interpreter, then, wherever this component of the Work
+     identifies itself to the user when used interactively with that
+     Base Interpreter, the replacement component of this Derived Work
+     clearly and unambiguously identifies itself as a modified version
+     of this component to the user when used interactively with that
+     Base Interpreter.
+     
+  b. Every component of the Derived Work contains prominent notices
+     detailing the nature of the changes to that component, or a
+     prominent reference to another file that is distributed as part
+     of the Derived Work and that contains a complete and accurate log
+     of the changes.
+  
+  c. No information in the Derived Work implies that any persons,
+     including (but not limited to) the authors of the original version
+     of the Work, provide any support, including (but not limited to)
+     the reporting and handling of errors, to recipients of the
+     Derived Work unless those persons have stated explicitly that
+     they do provide such support for the Derived Work.
+
+  d. You distribute at least one of the following with the Derived Work:
+
+       1. A complete, unmodified copy of the Work; 
+          if your distribution of a modified component is made by
+          offering access to copy the modified component from a
+          designated place, then offering equivalent access to copy
+          the Work from the same or some similar place meets this
+          condition, even though third parties are not compelled to
+          copy the Work along with the modified component;
+
+       2. Information that is sufficient to obtain a complete,
+          unmodified copy of the Work.
+
+7.  If you are not the Current Maintainer of the Work, you may
+distribute a Compiled Work generated from a Derived Work, as long as
+the Derived Work is distributed to all recipients of the Compiled
+Work, and as long as the conditions of Clause 6, above, are met with
+regard to the Derived Work.
+
+8.  The conditions above are not intended to prohibit, and hence do not
+apply to, the modification, by any method, of any component so that it
+becomes identical to an updated version of that component of the Work as
+it is distributed by the Current Maintainer under Clause 4, above.
+
+9.  Distribution of the Work or any Derived Work in an alternative
+format, where the Work or that Derived Work (in whole or in part) is
+then produced by applying some process to that format, does not relax or
+nullify any sections of this license as they pertain to the results of
+applying that process.
+     
+10. a. A Derived Work may be distributed under a different license
+       provided that license itself honors the conditions listed in
+       Clause 6 above, in regard to the Work, though it does not have
+       to honor the rest of the conditions in this license.
+      
+    b. If a Derived Work is distributed under a different license, that
+       Derived Work must provide sufficient documentation as part of
+       itself to allow each recipient of that Derived Work to honor the 
+       restrictions in Clause 6 above, concerning changes from the Work.
+
+11. This license places no restrictions on works that are unrelated to
+the Work, nor does this license place any restrictions on aggregating
+such works with the Work by any means.
+
+12.  Nothing in this license is intended to, or may be used to, prevent
+complete compliance by all parties with all applicable laws.
+
+
+NO WARRANTY
+===========
+
+There is no warranty for the Work.  Except when otherwise stated in
+writing, the Copyright Holder provides the Work `as is', without
+warranty of any kind, either expressed or implied, including, but not
+limited to, the implied warranties of merchantability and fitness for a
+particular purpose.  The entire risk as to the quality and performance
+of the Work is with you.  Should the Work prove defective, you assume
+the cost of all necessary servicing, repair, or correction.
+
+In no event unless required by applicable law or agreed to in writing
+will The Copyright Holder, or any author named in the components of the
+Work, or any other party who may distribute and/or modify the Work as
+permitted above, be liable to you for damages, including any general,
+special, incidental or consequential damages arising out of any use of
+the Work or out of inability to use the Work (including, but not limited
+to, loss of data, data being rendered inaccurate, or losses sustained by
+anyone as a result of any failure of the Work to operate with any other
+programs), even if the Copyright Holder or said author or said other
+party has been advised of the possibility of such damages.
+
+
+MAINTENANCE OF THE WORK
+=======================
+
+The Work has the status `author-maintained' if the Copyright Holder
+explicitly and prominently states near the primary copyright notice in
+the Work that the Work can only be maintained by the Copyright Holder
+or simply that it is `author-maintained'.
+
+The Work has the status `maintained' if there is a Current Maintainer
+who has indicated in the Work that they are willing to receive error
+reports for the Work (for example, by supplying a valid e-mail
+address). It is not required for the Current Maintainer to acknowledge
+or act upon these error reports.
+
+The Work changes from status `maintained' to `unmaintained' if there
+is no Current Maintainer, or the person stated to be Current
+Maintainer of the work cannot be reached through the indicated means
+of communication for a period of six months, and there are no other
+significant signs of active maintenance.
+
+You can become the Current Maintainer of the Work by agreement with
+any existing Current Maintainer to take over this role.
+
+If the Work is unmaintained, you can become the Current Maintainer of
+the Work through the following steps:
+
+ 1.  Make a reasonable attempt to trace the Current Maintainer (and
+     the Copyright Holder, if the two differ) through the means of
+     an Internet or similar search.
+
+ 2.  If this search is successful, then enquire whether the Work
+     is still maintained.
+
+  a. If it is being maintained, then ask the Current Maintainer
+     to update their communication data within one month.
+     
+  b. If the search is unsuccessful or no action to resume active
+     maintenance is taken by the Current Maintainer, then announce
+     within the pertinent community your intention to take over
+     maintenance.  (If the Work is a LaTeX work, this could be
+     done, for example, by posting to comp.text.tex.)
+
+ 3a. If the Current Maintainer is reachable and agrees to pass
+     maintenance of the Work to you, then this takes effect
+     immediately upon announcement.
+     
+  b. If the Current Maintainer is not reachable and the Copyright
+     Holder agrees that maintenance of the Work be passed to you,
+     then this takes effect immediately upon announcement.  
+    
+ 4.  If you make an `intention announcement' as described in 2b. above
+     and after three months your intention is challenged neither by
+     the Current Maintainer nor by the Copyright Holder nor by other
+     people, then you may arrange for the Work to be changed so as
+     to name you as the (new) Current Maintainer.
+     
+ 5.  If the previously unreachable Current Maintainer becomes
+     reachable once more within three months of a change completed
+     under the terms of 3b) or 4), then that Current Maintainer must
+     become or remain the Current Maintainer upon request provided
+     they then update their communication data within one month.
+
+A change in the Current Maintainer does not, of itself, alter the fact
+that the Work is distributed under the LPPL license.
+
+If you become the Current Maintainer of the Work, you should
+immediately provide, within the Work, a prominent and unambiguous
+statement of your status as Current Maintainer.  You should also
+announce your new status to the same pertinent community as
+in 2b) above.
+
+
+WHETHER AND HOW TO DISTRIBUTE WORKS UNDER THIS LICENSE
+======================================================
+
+This section contains important instructions, examples, and
+recommendations for authors who are considering distributing their
+works under this license.  These authors are addressed as `you' in
+this section.
+
+Choosing This License or Another License
+----------------------------------------
+
+If for any part of your work you want or need to use *distribution*
+conditions that differ significantly from those in this license, then
+do not refer to this license anywhere in your work but, instead,
+distribute your work under a different license.  You may use the text
+of this license as a model for your own license, but your license
+should not refer to the LPPL or otherwise give the impression that
+your work is distributed under the LPPL.
+
+The document `modguide.tex' in the base LaTeX distribution explains
+the motivation behind the conditions of this license.  It explains,
+for example, why distributing LaTeX under the GNU General Public
+License (GPL) was considered inappropriate.  Even if your work is
+unrelated to LaTeX, the discussion in `modguide.tex' may still be
+relevant, and authors intending to distribute their works under any
+license are encouraged to read it.
+
+A Recommendation on Modification Without Distribution
+-----------------------------------------------------
+
+It is wise never to modify a component of the Work, even for your own
+personal use, without also meeting the above conditions for
+distributing the modified component.  While you might intend that such
+modifications will never be distributed, often this will happen by
+accident -- you may forget that you have modified that component; or
+it may not occur to you when allowing others to access the modified
+version that you are thus distributing it and violating the conditions
+of this license in ways that could have legal implications and, worse,
+cause problems for the community.  It is therefore usually in your
+best interest to keep your copy of the Work identical with the public
+one.  Many works provide ways to control the behavior of that work
+without altering any of its licensed components.
+
+How to Use This License
+-----------------------
+
+To use this license, place in each of the components of your work both
+an explicit copyright notice including your name and the year the work
+was authored and/or last substantially modified.  Include also a
+statement that the distribution and/or modification of that
+component is constrained by the conditions in this license.
+
+Here is an example of such a notice and statement:
+
+  %% pig.dtx
+  %% Copyright 2005 M. Y. Name
+  %
+  % This work may be distributed and/or modified under the
+  % conditions of the LaTeX Project Public License, either version 1.3
+  % of this license or (at your option) any later version.
+  % The latest version of this license is in
+  %   http://www.latex-project.org/lppl.txt
+  % and version 1.3 or later is part of all distributions of LaTeX
+  % version 2005/12/01 or later.
+  %
+  % This work has the LPPL maintenance status `maintained'.
+  % 
+  % The Current Maintainer of this work is M. Y. Name.
+  %
+  % This work consists of the files pig.dtx and pig.ins
+  % and the derived file pig.sty.
+
+Given such a notice and statement in a file, the conditions
+given in this license document would apply, with the `Work' referring
+to the three files `pig.dtx', `pig.ins', and `pig.sty' (the last being
+generated from `pig.dtx' using `pig.ins'), the `Base Interpreter'
+referring to any `LaTeX-Format', and both `Copyright Holder' and
+`Current Maintainer' referring to the person `M. Y. Name'.
+
+If you do not want the Maintenance section of LPPL to apply to your
+Work, change `maintained' above into `author-maintained'.  
+However, we recommend that you use `maintained', as the Maintenance
+section was added in order to ensure that your Work remains useful to
+the community even when you can no longer maintain and support it
+yourself.
+
+Derived Works That Are Not Replacements
+---------------------------------------
+
+Several clauses of the LPPL specify means to provide reliability and
+stability for the user community. They therefore concern themselves
+with the case that a Derived Work is intended to be used as a
+(compatible or incompatible) replacement of the original Work. If
+this is not the case (e.g., if a few lines of code are reused for a
+completely different task), then clauses 6b and 6d shall not apply.
+
+
+Important Recommendations
+-------------------------
+
+ Defining What Constitutes the Work
+
+   The LPPL requires that distributions of the Work contain all the
+   files of the Work.  It is therefore important that you provide a
+   way for the licensee to determine which files constitute the Work.
+   This could, for example, be achieved by explicitly listing all the
+   files of the Work near the copyright notice of each file or by
+   using a line such as:
+
+    % This work consists of all files listed in manifest.txt.
+   
+   in that place.  In the absence of an unequivocal list it might be
+   impossible for the licensee to determine what is considered by you
+   to comprise the Work and, in such a case, the licensee would be
+   entitled to make reasonable conjectures as to which files comprise
+   the Work.

biblio.bib

+@article{DBLP:journals/cacm/Knuth74,
+  author    = {Donald E. Knuth},
+  title     = {{Computer Programming as an Art}},
+  journal   = {Commun. {ACM}},
+  volume    = {17},
+  number    = {12},
+  pages     = {667--673},
+  year      = {1974},
+  doi       = {10.1145/361604.361612},
+  timestamp = {Tue, 07 Jun 2011 16:50:57 +0200},
+  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/cacm/Knuth74},
+  bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+
+@article{DBLP:journals/cacm/Dijkstra68a,
+  author    = {Edsger W. Dijkstra},
+  title     = {Letters to the editor: go to statement considered harmful},
+  journal   = {Commun. {ACM}},
+  volume    = {11},
+  number    = {3},
+  pages     = {147--148},
+  year      = {1968},
+  doi       = {10.1145/362929.362947},
+  timestamp = {Thu, 09 Feb 2006 13:19:49 +0100},
+  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/cacm/Dijkstra68a},
+  bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+
+@book{DBLP:books/mk/GrayR93,
+  author    = {Jim Gray and
+               Andreas Reuter},
+  title     = {Transaction Processing: Concepts and Techniques},
+  publisher = {Morgan Kaufmann},
+  year      = {1993},
+  isbn      = {1-55860-190-2},
+  timestamp = {Thu, 05 Nov 2015 19:53:28 +0100},
+  biburl    = {http://dblp.uni-trier.de/rec/bib/books/mk/GrayR93},
+  bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+
+
+
+@inproceedings{DBLP:conf/focs/HopcroftPV75,
+  author    = {{John E.} Hopcroft and
+               {Wolfgang J.} Paul and
+               {Leslie G.} Valiant},
+  title     = {On Time versus Space and Related Problems},
+  booktitle = {16th Annual Symposium on Foundations of Computer Science, Berkeley,
+               California, USA, October 13-15, 1975},
+  pages     = {57--64},
+  year      = {1975},
+  crossref  = {DBLP:conf/focs/FOCS16},
+  doi       = {10.1109/SFCS.1975.23},
+  timestamp = {Tue, 16 Dec 2014 09:57:24 +0100},
+  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/focs/HopcroftPV75},
+  bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+
+@proceedings{DBLP:conf/focs/FOCS16,
+  title     = {16th Annual Symposium on Foundations of Computer Science, Berkeley,
+               California, USA, October 13-15, 1975},
+  publisher = {{IEEE} Computer Society},
+  year      = {1975},
+  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
+  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/focs/FOCS16},
+  bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+

main.aux

+\relax 
+\bibstyle{alpha}
+\bibdata{biblio}
+\newlabel{sec:intro}{{}{1}}
+\@writefile{toc}{\contentsline {section}{\numberline {1}Words, transducers and logic}{1}}
+\newlabel{sec:prelim}{{1}{1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Words, languages and transductions}{1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Relational structures and logical interpretations}{1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}SSTs and pebble transducers, semantics with an without origin}{1}}
+\@writefile{toc}{\contentsline {section}{\numberline {2}FO model-checking of transductions with origins: SSTs and pebble transducers}{1}}
+\newlabel{sec:mc}{{2}{1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}The Backward Translation Theorem}{1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Model-checking (copyfull) SSTs with origin}{1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Model-checking pebble transducers with origin}{1}}
+\@writefile{toc}{\contentsline {section}{\numberline {3}SSTs and lexicographic MSO-interpretations}{1}}
+\newlabel{sec:sst-lex}{{3}{1}}

main.bbl

+\begin{thebibliography}{}
+
+\end{thebibliography}

main.blg

+This is BibTeX, Version 0.99d (TeX Live 2017/Debian)
+Capacity: max_strings=100000, hash_size=100000, hash_prime=85009
+The top-level auxiliary file: main.aux
+The style file: alpha.bst
+I found no \citation commands---while reading file main.aux
+Database file #1: biblio.bib
+You've used 0 entries,
+            2543 wiz_defined-function locations,
+            558 strings with 4433 characters,
+and the built_in function-call counts, 24 in all, are:
+= -- 0
+> -- 0
+< -- 0
++ -- 0
+- -- 0
+* -- 2
+:= -- 10
+add.period$ -- 0
+call.type$ -- 0
+change.case$ -- 0
+chr.to.int$ -- 0
+cite$ -- 0
+duplicate$ -- 0
+empty$ -- 1
+format.name$ -- 0
+if$ -- 2
+int.to.chr$ -- 1
+int.to.str$ -- 0
+missing$ -- 0
+newline$ -- 3
+num.names$ -- 0
+pop$ -- 0
+preamble$ -- 1
+purify$ -- 0
+quote$ -- 0
+skip$ -- 2
+stack$ -- 0
+substring$ -- 0
+swap$ -- 0
+text.length$ -- 0
+text.prefix$ -- 0
+top$ -- 0
+type$ -- 0
+warning$ -- 0
+while$ -- 0
+width$ -- 0
+write$ -- 2
+(There was 1 error message)

main.fdb_latexmk

+# Fdb version 3
+["bibtex main"] 1632489458 "main.aux" "main.bbl" "main" 1632489511
+  "/usr/share/texlive/texmf-dist/bibtex/bst/base/alpha.bst" 1480098433 23907 a5f93555796fb564b924339521f10a7c ""
+  "biblio.bib" 1627286900 2496 833178ac78892e1ed621941d842e740e ""
+  "main.aux" 1632489458 1154 a6b1a3a5a27c23e0f88e7c64c3104f51 ""
+  "main.bcf" 0 -1 0 ""
+  (generated)
+  "main.bbl"
+  "main.blg"
+["pdflatex"] 1632489458 "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex" "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.pdf" "main" 1632489511
+  "/etc/texmf/web2c/texmf.cnf" 1601279320 475 c0e671620eb5563b2130f56340a5fde8 ""
+  "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux" 1632489458 1154 a6b1a3a5a27c23e0f88e7c64c3104f51 ""
+  "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex" 1632489511 1060 34c72781352624fa306bfb30fd21a05f ""
+  "/usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map" 1511824771 3332 103109f5612ad95229751940c61aada0 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm" 1480098701 1324 c910af8c371558dc20f2d7822f66fe64 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx9.tfm" 1480098701 1328 5442e22a7072966dbaf88ca900acf3f0 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm" 1480098701 1524 4414a8315f39513458b80dfc63bff03a ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1480098701 1512 f21f83efb36853c0b70002322c1ab3ad ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1480098701 1520 eccf95517727cb11801f4f1aee3a21b4 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm" 1480098701 1288 655e228510b4c2a1abe905c368440826 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr17.tfm" 1480098701 1292 296a67155bdbfc32aa9c636f21e91433 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" 1480098701 1300 b62933e007d01cfd073f79b963c01526 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" 1480098701 1292 21c1c5bfeaebccffdb478fd231a0997d ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr9.tfm" 1480098701 1292 6b21b9c2c7bebb38aa2273f7ca0fb3af ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1480098701 1124 6c73e740cf17375f03eec0ee63599741 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1480098701 1116 933a60c408fc0a863a92debe84b2d294 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1480098701 1120 8b7d695260f3cff42e636090a8002094 ""
+  "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb" 1480098733 32080 340ef9bf63678554ee606688e7b5339d ""
+  "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx9.pfb" 1480098733 32298 c6d25bb16d1eac01ebdc6d7084126a1e ""
+  "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb" 1480098733 35752 024fb6c41858982481f6968b5fc26508 ""
+  "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb" 1480098733 32722 d7379af29a190c3f453aba36302ff5a9 ""
+  "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb" 1480098733 32362 179c33bbf43f19adbb3825bb4e36e57a ""
+  "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb" 1480098733 33993 9b89b85fd2d9df0482bd47194d1d3bf3 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/base/article.cls" 1480098821 19821 310da678527a7dfe2a02c88af38079b7 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo" 1480098821 8292 e897c12e1e886ce77fe26afc5d470886 ""
+  "/usr/share/texlive/texmf-dist/web2c/texmf.cnf" 1520210507 32485 c64754543d8ac501bea6e75e209ea521 ""
+  "/usr/share/texmf/web2c/texmf.cnf" 1520210507 32485 c64754543d8ac501bea6e75e209ea521 ""
+  "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1601280639 2700761 ac0584cc9514ab21918550a6948c4ee2 ""
+  "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1601280650 4129943 ba808502b9cf84b5c160479985bd2263 ""
+  "main.aux" 1632489458 1154 a6b1a3a5a27c23e0f88e7c64c3104f51 ""
+  "main.bbl" 1632489458 49 0eba253fc001332e731e8aba3f23127b "bibtex main"
+  "main.tex" 1632489511 1060 34c72781352624fa306bfb30fd21a05f ""
+  (generated)
+  "main.pdf"
+  "main.log"
+  "main.aux"
+  "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.pdf"
+  "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.log"

main.fls

+PWD /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon
+INPUT /etc/texmf/web2c/texmf.cnf
+INPUT /usr/share/texmf/web2c/texmf.cnf
+INPUT /usr/share/texlive/texmf-dist/web2c/texmf.cnf
+INPUT /var/lib/texmf/web2c/pdftex/pdflatex.fmt
+INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex
+OUTPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.log
+INPUT /usr/share/texlive/texmf-dist/tex/latex/base/article.cls
+INPUT /usr/share/texlive/texmf-dist/tex/latex/base/article.cls
+INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
+INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
+INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux
+INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux
+OUTPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux
+INPUT /usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr17.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr9.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr8.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr6.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx9.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
+INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.bbl
+INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.bbl
+OUTPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.pdf
+INPUT /var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map
+INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx9.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb

main.log

+This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian) (preloaded format=pdflatex 2020.9.28)  24 SEP 2021 15:17
+entering extended mode
+ restricted \write18 enabled.
+ file:line:error style messages enabled.
+ %&-line parsing enabled.
+**/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex
+(/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex
+LaTeX2e <2017-04-15>
+Babel <3.18> and hyphenation patterns for 84 language(s) loaded.
+(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
+Document Class: article 2014/09/29 v1.4h Standard LaTeX document class
+(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
+File: size10.clo 2014/09/29 v1.4h Standard LaTeX file (size option)
+)
+\c@part=\count79
+\c@section=\count80
+\c@subsection=\count81
+\c@subsubsection=\count82
+\c@paragraph=\count83
+\c@subparagraph=\count84
+\c@figure=\count85
+\c@table=\count86
+\abovecaptionskip=\skip41
+\belowcaptionskip=\skip42
+\bibindent=\dimen102
+)
+
+LaTeX Warning: Unused global option(s):
+    [UKenglish,cleveref,autoref,thm-restate].
+
+(/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux)
+\openout1 = `main.aux'.
+
+LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 14.
+LaTeX Font Info:    ... okay on input line 14.
+LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 14.
+LaTeX Font Info:    ... okay on input line 14.
+LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 14.
+LaTeX Font Info:    ... okay on input line 14.
+LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 14.
+LaTeX Font Info:    ... okay on input line 14.
+LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 14.
+LaTeX Font Info:    ... okay on input line 14.
+LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 14.
+LaTeX Font Info:    ... okay on input line 14.
+LaTeX Font Info:    External font `cmex10' loaded for size
+(Font)              <12> on input line 15.
+LaTeX Font Info:    External font `cmex10' loaded for size
+(Font)              <8> on input line 15.
+LaTeX Font Info:    External font `cmex10' loaded for size
+(Font)              <6> on input line 15.
+ (/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.bbl
+
+LaTeX Warning: Empty `thebibliography' environment on input line 3.
+
+) [1
+
+{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] (/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux) ) 
+Here is how much of TeX's memory you used:
+ 244 strings out of 492982
+ 3285 string characters out of 6134896
+ 56278 words of memory out of 5000000
+ 3880 multiletter control sequences out of 15000+600000
+ 8194 words of font info for 29 fonts, out of 8000000 for 9000
+ 1141 hyphenation exceptions out of 8191
+ 23i,4n,21p,236b,185s stack positions out of 5000i,500n,10000p,200000b,80000s
+</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx9.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb>
+Output written on /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.pdf (1 page, 63438 bytes).
+PDF statistics:
+ 32 PDF objects out of 1000 (max. 8388607)
+ 22 compressed objects within 1 object stream
+ 0 named destinations out of 1000 (max. 500000)
+ 1 words of extra memory for PDF output out of 10000 (max. 10000000)
+

main.tex

+
+\documentclass[a4paper,UKenglish,cleveref, autoref, thm-restate]{article}
+
+
+\bibliographystyle{alpha}% the mandatory bibstyle
+
+\title{FO Model-Checking Superlinear\\ Transductions with Origin\\
+\small{and also a logic for SSTs}} %TODO Please add
+\author{}
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\begin{document}
+\maketitle
+
+
+
+\begin{abstract}
+The abstract.
+\end{abstract}
+
+
+\section*{Introduction}
+\label{sec:intro}
+
+\section{Words, transducers and logic}
+\label{sec:prelim}
+\subsection{Words, languages and transductions}
+\subsection{Relational structures and logical interpretations}
+\subsection{SSTs and pebble transducers, semantics with an without origin}
+
+\section{FO model-checking of transductions with origins: SSTs and pebble transducers}
+\label{sec:mc}
+\subsection{The Backward Translation Theorem}
+\subsection{Model-checking (copyfull) SSTs with origin}
+\subsection{Model-checking pebble transducers with origin}
+
+\section{SSTs and lexicographic MSO-interpretations}
+\label{sec:sst-lex}
+
+
+
+\bibliography{biblio}
+
+\end{document}

main.vtc

+\contitem\title{FO Model-Checking Superlinear transductions with origin. MSO-interpretations, SSTs, pebble transducers}\author{Jane {Open Access}, Joan R. Public}\page{23:1--23:0}