LPAR-22: BibTeX Entries

Volume

@proceedings{LPAR-22,
  title     = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  year      = {2018}}

Papers

@inproceedings{LPAR-22:Verification_Testing_Runtime_Monitoring,
  author    = {Holger Hermanns and Sebastian Biewer and Pedro R. D'Argenio and Maximilian A. Köhl},
  title     = {Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/xgqz},
  doi       = {10.29007/6zxt},
  pages     = {1-17},
  year      = {2018}}


@inproceedings{LPAR-22:Playing_with_Maximum_Flow,
  author    = {Orna Kupferman},
  title     = {Playing with the Maximum-Flow Problem},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/N3QN},
  doi       = {10.29007/tkk1},
  pages     = {18-25},
  year      = {2018}}


@inproceedings{LPAR-22:Wayeb_Tool_Complex_Event,
  author    = {Elias Alevizos and Alexander Artikis and Georgios Paliouras},
  title     = {Wayeb: a Tool for Complex Event Forecasting},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/VKP1},
  doi       = {10.29007/2s9t},
  pages     = {26-35},
  year      = {2018}}


@inproceedings{LPAR-22:When_Are_Two_Gossips,
  author    = {Krzysztof Apt and Davide Grossi and Wiebe Van-Der-Hoek},
  title     = {When Are Two Gossips the Same?},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/3Sxf},
  doi       = {10.29007/ww65},
  pages     = {36-55},
  year      = {2018}}


@inproceedings{LPAR-22:Function_Summarization_Modulo_Theories,
  author    = {Sepideh Asadi and Martin Blicha and Grigory Fedyukovich and Antti Hyvärinen and Karine Even-Mendoza and Natasha Sharygina and Hana Chockler},
  title     = {Function Summarization Modulo Theories},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/nNLJ},
  doi       = {10.29007/d3bt},
  pages     = {56-75},
  year      = {2018}}


@inproceedings{LPAR-22:Matching_Description_Logic_FL0,
  author    = {Franz Baader and Oliver Fernandez Gil and Pavlos Marantidis},
  title     = {Matching in the Description Logic FL0 with respect to General TBoxes},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/XrXz},
  doi       = {10.29007/q74p},
  pages     = {76-94},
  year      = {2018}}


@inproceedings{LPAR-22:Lyndon_Interpolation_holds_Prenex,
  author    = {Matthias Baaz and Anela Lolic},
  title     = {Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/v6Sp},
  doi       = {10.29007/bmlf},
  pages     = {95-110},
  year      = {2018}}


@inproceedings{LPAR-22:Decidable_Inequalities_over_Infinite,
  author    = {Sabine Bauer and Steffen Jost and Martin Hofmann},
  title     = {Decidable Inequalities over Infinite Trees},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/SSpj},
  doi       = {10.29007/s21n},
  pages     = {111-130},
  year      = {2018}}


@inproceedings{LPAR-22:Evaluation_Domain_Agnostic_Approaches,
  author    = {Jaroslav Bendík and Ivana Cerna},
  title     = {Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/m8qv},
  doi       = {10.29007/sxzb},
  pages     = {131-142},
  year      = {2018}}


@inproceedings{LPAR-22:Why_These_Automata_Types?,
  author    = {Udi Boker},
  title     = {Why These Automata Types?},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/G5dD},
  doi       = {10.29007/c3bj},
  pages     = {143-163},
  year      = {2018}}


@inproceedings{LPAR-22:Verified_Efficient_Implementation_LLL,
  author    = {Ralph Bottesch and Max W. Haslbeck and René Thiemann},
  title     = {A Verified Efficient Implementation of the LLL Basis Reduction Algorithm},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/spJt},
  doi       = {10.29007/xwwh},
  pages     = {164-180},
  year      = {2018}}


@inproceedings{LPAR-22:Efficient_SAT_Based_Encodings,
  author    = {Abdelhamid Boudane and Said Jabbour and Badran Raddaoui and Lakhdar Sais},
  title     = {Efficient SAT-Based Encodings of Conditional Cardinality Constraints},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/3XKD},
  doi       = {10.29007/kfjb},
  pages     = {181-195},
  year      = {2018}}


@inproceedings{LPAR-22:Reasoning_About_Prescription_Description,
  author    = {Valentin Cassano and Carlos Areces and Pablo Castro},
  title     = {Reasoning About Prescription and Description Using Prioritized Default Rules},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Zn7P},
  doi       = {10.29007/swdn},
  pages     = {196-213},
  year      = {2018}}


@inproceedings{LPAR-22:Two_variable_First_Order,
  author    = {Witold Charatonik and Yegor Guskov and Ian Pratt-Hartmann and Piotr Witkowski},
  title     = {Two-variable First-Order Logic with Counting in Forests},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/f6fB},
  doi       = {10.29007/24fm},
  pages     = {214-232},
  year      = {2018}}


@inproceedings{LPAR-22:Quasipolynomial_Set_Based_Symbolic,
  author    = {Krishnendu Chatterjee and Wolfgang Dvořák and Monika Henzinger and Alexander Svozil},
  title     = {Quasipolynomial Set-Based Symbolic Algorithms for Parity Games},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/L8b1},
  doi       = {10.29007/5z5k},
  pages     = {233-253},
  year      = {2018}}


@inproceedings{LPAR-22:involutions_as_principal_types/application,
  author    = {Alberto Ciaffaglione and Furio Honsell and Marina Lenisa and Ivan Scagnetto},
  title     = {The involutions-as-principal types/application-as-unification Analogy},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/GRzV},
  doi       = {10.29007/ntwg},
  pages     = {254-270},
  year      = {2018}}


@inproceedings{LPAR-22:Left_Handed_Completeness_Kleene,
  author    = {Anupam Das and Amina Doumane and Damien Pous},
  title     = {Left-Handed Completeness for Kleene algebra, via Cyclic Proofs},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/SDqf},
  doi       = {10.29007/hzq3},
  pages     = {271-289},
  year      = {2018}}


@inproceedings{LPAR-22:Experiments_Verification_Linear_Model,
  author    = {Guillaume Davy and Eric Feron and Pierre-Loic Garoche and Didier Henrion},
  title     = {Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/wZgf},
  doi       = {10.29007/qt5j},
  pages     = {290-306},
  year      = {2018}}


@inproceedings{LPAR-22:Graph_Path_Orderings,
  author    = {Nachum Dershowitz and Jean-Pierre Jouannaud},
  title     = {Graph Path Orderings},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/8DzT},
  doi       = {10.29007/6hkk},
  pages     = {307-325},
  year      = {2018}}


@inproceedings{LPAR-22:Weak_Completion_Semantics_Equality,
  author    = {Emmanuelle-Anna Dietz Saldanha and Steffen Hölldobler and Sibylle Schwarz and Lim Yohanes Stefanus},
  title     = {The Weak Completion Semantics and Equality},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/qbws},
  doi       = {10.29007/pr47},
  pages     = {326-342},
  year      = {2018}}


@inproceedings{LPAR-22:LTL_with_Arithmetic_its,
  author    = {Rachel Faran and Orna Kupferman},
  title     = {LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/TFr5},
  doi       = {10.29007/wpg3},
  pages     = {343-362},
  year      = {2018}}


@inproceedings{LPAR-22:Arrays_Made_Simpler_Efficient,
  author    = {Benjamin Farinier and Robin David and Sébastien Bardin and Matthieu Lemerre},
  title     = {Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/lSLN},
  doi       = {10.29007/dc9b},
  pages     = {363-380},
  year      = {2018}}


@inproceedings{LPAR-22:Loop_Analysis_Quantification_over,
  author    = {Bernhard Gleiss and Laura Kovács and Simon Robillard},
  title     = {Loop Analysis by Quantification over Iterations},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/W2Db},
  doi       = {10.29007/269p},
  pages     = {381-399},
  year      = {2018}}


@inproceedings{LPAR-22:Formal_verification_YubiKey_YubiHSM,
  author    = {Antonio González-Burgueño and Damián Aparicio-Sánchez and Santiago Escobar and Catherine Meadows and José Meseguer},
  title     = {Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/qkkq},
  doi       = {10.29007/c4xk},
  pages     = {400-417},
  year      = {2018}}


@inproceedings{LPAR-22:Lookahead_Based_SMT_Solving,
  author    = {Antti Hyvärinen and Matteo Marescotti and Parvin Sadigova and Hana Chockler and Natasha Sharygina},
  title     = {Lookahead-Based SMT Solving},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/XVm6},
  doi       = {10.29007/gzzf},
  pages     = {418-434},
  year      = {2018}}


@inproceedings{LPAR-22:Complete_Cyclic_Proof_System,
  author    = {Radu Iosif and Cristina Serban},
  title     = {A Complete Cyclic Proof System for Inductive Entailments in First Order Logic},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/S1fv},
  doi       = {10.29007/xgc6},
  pages     = {435-453},
  year      = {2018}}


@inproceedings{LPAR-22:Towards_Smarter_MACE_style,
  author    = {Mikolas Janota and Martin Suda},
  title     = {Towards Smarter MACE-style Model Finders},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/rZKt},
  doi       = {10.29007/w42s},
  pages     = {454-470},
  year      = {2018}}


@inproceedings{LPAR-22:Improving_SAT_based_Bounded,
  author    = {Chuan Jiang and Gianfranco Ciardo},
  title     = {Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Mnzd},
  doi       = {10.29007/2s1q},
  pages     = {471-487},
  year      = {2018}}


@inproceedings{LPAR-22:Is_Satisfiability_Quantified_Bit,
  author    = {Martin Jonáš and Jan Strejček},
  title     = {Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (Experimental Paper)},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/wPNs},
  doi       = {10.29007/spnx},
  pages     = {488-497},
  year      = {2018}}


@inproceedings{LPAR-22:Alternating_Reachability_Games_with,
  author    = {Orna Kupferman and Tami Tamir},
  title     = {Alternating Reachability Games with Behavioral and Revenue Objectives},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/2J7s},
  doi       = {10.29007/ncld},
  pages     = {498-514},
  year      = {2018}}


@inproceedings{LPAR-22:Polymorphic_success_types_Erlang,
  author    = {Francisco J. López-Fraguas and Manuel Montenegro and Gorka Suárez-García},
  title     = {Polymorphic success types for Erlang},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/FzsM},
  doi       = {10.29007/w2m2},
  pages     = {515-533},
  year      = {2018}}


@inproceedings{LPAR-22:SMTS_Distributed_Visualized_Constraint,
  author    = {Matteo Marescotti and Antti Hyvärinen and Natasha Sharygina},
  title     = {SMTS: Distributed, Visualized Constraint Solving},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/k7BQ},
  doi       = {10.29007/fhgn},
  pages     = {534-542},
  year      = {2018}}


@inproceedings{LPAR-22:Automatic_Space_Bound_Analysis,
  author    = {Yue Niu and Jan Hoffmann},
  title     = {Automatic Space Bound Analysis for Functional Programs with Garbage Collection},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/dcnD},
  doi       = {10.29007/xkwx},
  pages     = {543-563},
  year      = {2018}}


@inproceedings{LPAR-22:Verified_Theorem_Prover_Backend,
  author    = {Vincent Rahli and Liron Cohen and Mark Bickford},
  title     = {A Verified Theorem Prover Backend Supported by a Monotonic Library},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/hp5j},
  doi       = {10.29007/f58n},
  pages     = {564-582},
  year      = {2018}}


@inproceedings{LPAR-22:Theory_Satisfiability_Preserving_Proofs,
  author    = {Adrián Rebola-Pardo and Martin Suda},
  title     = {A Theory of Satisfiability-Preserving Proofs in SAT Solving},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/zr7z},
  doi       = {10.29007/tc7q},
  pages     = {583-603},
  year      = {2018}}


@inproceedings{LPAR-22:Triguarded_Fragment_First_Order,
  author    = {Sebastian Rudolph and Mantas Simkus},
  title     = {The Triguarded Fragment of First-Order Logic},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/wlJ3},
  doi       = {10.29007/m8ts},
  pages     = {604-619},
  year      = {2018}}


@inproceedings{LPAR-22:Knowledge_Compilation_meets_Uniform,
  author    = {Shubham Sharma and Rahul Gupta and Subhajit Roy and Kuldeep S. Meel},
  title     = {Knowledge Compilation meets Uniform Sampling},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/CXk2},
  doi       = {10.29007/h4p9},
  pages     = {620-636},
  year      = {2018}}


@inproceedings{LPAR-22:Parse_Condition_Symbolic_Encoding,
  author    = {Dhruv Singal and Palak Agarwal and Saket Jhunjhunwala and Subhajit Roy},
  title     = {Parse Condition: Symbolic Encoding of LL(1) Parsing},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/DtjZ},
  doi       = {10.29007/2ndp},
  pages     = {637-655},
  year      = {2018}}


@inproceedings{LPAR-22:Rewriting_Environment_Arithmetic_Circuit,
  author    = {Cunxi Yu and Atif Yasin and Tiankai Su and Alan Mishchenko and Maciej Ciesielski},
  title     = {Rewriting Environment for Arithmetic Circuit Verification},
  booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/t9Mf},
  doi       = {10.29007/rswk},
  pages     = {656-666},
  year      = {2018}}