paper.tex 2.71 KB
Newer Older
Dennis Müller's avatar
init  
Dennis Müller committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
\documentclass[orivec]{llncs}

\usepackage[utf8]{inputenc}
\usepackage{url}
%\usepackage{tipa}
\usepackage{amsmath,amssymb,amstext}
\usepackage{graphicx,stmaryrd,mathabx,MnSymbol,tabularx,mathtools}
\usepackage[normalem]{ulem}
\usepackage{array}
\usepackage{mdframed}
\usepackage{wrapfig}
\usepackage{paralist}
%\usepackage{appendix}

\usepackage[style=alphabetic,hyperref=auto,defernumbers=true,backend=bibtex,firstinits=true,maxbibnames=9,maxcitenames=3,isbn=false]{biblatex}
% \addbibresource{../../fr-macros/rabe.bib}
% \addbibresource{../../fr-macros/systems.bib}
% \addbibresource{../../fr-macros/pub_rabe.bib}
% \addbibresource{../../kwarc.bib}
\renewbibmacro*{event+venue+date}{}
\renewbibmacro*{doi+eprint+url}{%
  \iftoggle{bbx:doi}
    {\printfield{doi}\iffieldundef{doi}{}{\clearfield{url}}}
    {}%
  \newunit\newblock
  \iftoggle{bbx:eprint}
    {\usebibmacro{eprint}}
    {}%
  \newunit\newblock
  \iftoggle{bbx:url}
    {\usebibmacro{url+urldate}}
    {}}

\setlength{\hfuzz}{3pt} \hbadness=10001
\setcounter{tocdepth}{2} % for pdf bookmarks
\usepackage{xcolor}

\usepackage[bookmarks,linkcolor=red,citecolor=blue,urlcolor=gray,colorlinks,breaklinks,bookmarksopen,bookmarksnumbered]{hyperref}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% local macros and configurations

% \usepackage{../../fr-macros/basics}
% \usepackage[llncs]{../../fr-macros/theorems}
% \input{macros}

\usepackage[hide]{ed}
\newif\ifshort\shorttrue

\pagestyle{plain} % remove for final version
Michael Kohlhase's avatar
Michael Kohlhase committed
51
52
53
54

\author{Dennis Müller\inst{1} \and Florian Rabe\inst{1,2} \and Michael Kohlhase\inst{1}}
\institute{Computer Science, FAU Erlangen-N\"urnberg\and LRI, Universit\'e Paris Sud}

Dennis Müller's avatar
init  
Dennis Müller committed
55
56
57
58
59
60
61
\begin{document}

%\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\


\title{Alignment Finding}
\maketitle
Michael Kohlhase's avatar
Michael Kohlhase committed
62
63
64
65
66
67
68
69
70
\begin{abstract}\ednote{tbw}
\end{abstract}

\setcounter{tocdepth}{2}\tableofcontents\newpage
\section{Introduction}\label{sec:intro}

\section{Applications}\label{sec:appl}

\subsection{Theory Classification}\label{sec:classifier}
Dennis Müller's avatar
init  
Dennis Müller committed
71

Michael Kohlhase's avatar
Michael Kohlhase committed
72
\section{Conclusion}\label{sec:concl}
Dennis Müller's avatar
init  
Dennis Müller committed
73

Michael Kohlhase's avatar
Michael Kohlhase committed
74
75
76
77
\subsubsection*{Acknowledgements}
The authors gratefully acknowledge financial support from the OpenDreamKit Horizon 2020
European Research Infrastructures project (\#676541) and the DFG-funded projec OAF: An
Open Archive for Formalizations (KO 2428/13-1).
Dennis Müller's avatar
init  
Dennis Müller committed
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92

\renewcommand*{\bibfont}{\small}
\printbibliography

\end{document}

%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:


%  LocalWords:  inst maketitle formalization defs well-formedness textsf sec:impl impl
%  LocalWords:  sec:conc conc Universit printbibliography ednote Internalizing newpage
%  LocalWords:  ifshort sec:relwork relwork renewcommand bibfont