@comment{It is strongly recommended to use BibLaTeX for these entries}

@inproceedings{Myreen:PAAR2018,
title = {The CakeML Verified Compiler and Toolchain},
author = {Magnus O. Myreen},
pages = {1--1},
url = {http://ceur-ws.org/Vol-2162/#paper-01},
crossref = {PAAR2018},
}

@inproceedings{BhayatReger:PAAR2018,
title = {Set of Support for Higher-Order Reasoning},
author = {Ahmed Bhayat and Giles Reger},
pages = {2--16},
url = {http://ceur-ws.org/Vol-2162/#paper-02},
crossref = {PAAR2018},
}

@inproceedings{EbnerSchlaipfer:PAAR2018,
title = {Efficient translation of sequent calculus proofs into natural deduction proofs},
author = {Gabriel Ebner and Matthias Schlaipfer},
pages = {17--33},
url = {http://ceur-ws.org/Vol-2162/#paper-03},
crossref = {PAAR2018},
}

@inproceedings{HustadtEtAl:PAAR2018,
title = {Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics},
author = {Ullrich Hustadt and Cláudia Nalon and Clare Dixon},
pages = {34--48},
url = {http://ceur-ws.org/Vol-2162/#paper-04},
crossref = {PAAR2018},
}

@inproceedings{Otten:PAAR2018,
title = {Proof Search Optimizations for Non-clausal Connection Calculi},
author = {Jens Otten},
pages = {49--57},
url = {http://ceur-ws.org/Vol-2162/#paper-05},
crossref = {PAAR2018},
}

@inproceedings{RawsonReger:PAAR2018,
title = {Dynamic Strategy Priority: Empower the strong and abandon the weak},
author = {Michael Rawson and Giles Reger},
pages = {58--71},
url = {http://ceur-ws.org/Vol-2162/#paper-06},
crossref = {PAAR2018},
}

@inproceedings{SutcliffeKotelnikov:PAAR2018,
title = {TFX: The TPTP Extended Typed First-order Form},
author = {Geoff Sutcliffe and Evgenii Kotelnikov},
pages = {72--87},
url = {http://ceur-ws.org/Vol-2162/#paper-07},
crossref = {PAAR2018},
}

@inproceedings{VilladsenEtAl:PAAR2018,
title = {A Verified Simple Prover for First-Order Logic},
author = {Jørgen Villadsen and Anders Schlichtkrull and Andreas Halkjær From},
pages = {88--104},
url = {http://ceur-ws.org/Vol-2162/#paper-08},
crossref = {PAAR2018},
}

@proceedings{PAAR2018,
booktitle = {6th Workshop on Practical Aspects of Automated Reasoning (PAAR)},
title = {Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning (PAAR)},
year = 2018,
editor = {Boris Konev and Josef Urban and Philipp Rümmer},
number = 2162,
series = {CEUR Workshop Proceedings},
address = {Aachen},
issn = {1613-0073},
url = {http://ceur-ws.org/Vol-2162/},
venue = {Oxford, UK},
eventdate = {2018-07-19},
}

