1. Radomir S Stankovic, Milena Stankovic, Jaakko T Astola and Claudio Moraga.
    Remarks on Similarities Among Ternary Bent Functions.
    In 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), Fredericton, NB, Canada, May 21-23, 2019. 2019, 79–84.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/StankovicSAM19,
    	author = "Radomir S. Stankovic and Milena Stankovic and Jaakko T. Astola and Claudio Moraga",
    	title = "Remarks on Similarities Among Ternary Bent Functions",
    	booktitle = "2019 {IEEE} 49th International Symposium on Multiple-Valued Logic (ISMVL), Fredericton, NB, Canada, May 21-23, 2019",
    	pages = "79--84",
    	publisher = "{IEEE}",
    	year = 2019,
    	url = "https://doi.org/10.1109/ISMVL.2019.00022",
    	doi = "10.1109/ISMVL.2019.00022",
    	timestamp = "Wed, 16 Oct 2019 14:14:57 +0200",
    	biburl = "https://dblp.org/rec/conf/ismvl/StankovicSAM19.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Claudio Moraga, Milena Stankovic and Radomir S Stankovic.
    Spectral Invariant Operations in the p-valued Spectral Domain.
    In 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), Fredericton, NB, Canada, May 21-23, 2019. 2019, 67–72.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/MoragaSS19,
    	author = "Claudio Moraga and Milena Stankovic and Radomir S. Stankovic",
    	title = "Spectral Invariant Operations in the p-valued Spectral Domain",
    	booktitle = "2019 {IEEE} 49th International Symposium on Multiple-Valued Logic (ISMVL), Fredericton, NB, Canada, May 21-23, 2019",
    	pages = "67--72",
    	publisher = "{IEEE}",
    	year = 2019,
    	url = "https://doi.org/10.1109/ISMVL.2019.00020",
    	doi = "10.1109/ISMVL.2019.00020",
    	timestamp = "Wed, 16 Oct 2019 14:14:57 +0200",
    	biburl = "https://dblp.org/rec/conf/ismvl/MoragaSS19.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Carlos Valle, Ricardo Ñanculef, Héctor Allende and Claudio Moraga.
    LocalBoost: A Parallelizable Approach to Boosting Classifiers.
    Neural Process. Lett. 50(1):19–41, 2019.
    URL, DOI BibTeX

    @article{DBLP:journals/npl/ValleNAM19,
    	author = "Carlos Valle and Ricardo {\~{N}}anculef and H{\'{e}}ctor Allende and Claudio Moraga",
    	title = "LocalBoost: {A} Parallelizable Approach to Boosting Classifiers",
    	journal = "Neural Process. Lett.",
    	volume = 50,
    	number = 1,
    	pages = "19--41",
    	year = 2019,
    	url = "https://doi.org/10.1007/s11063-018-9924-3",
    	doi = "10.1007/s11063-018-9924-3",
    	timestamp = "Thu, 09 Jul 2020 22:58:41 +0200",
    	biburl = "https://dblp.org/rec/journals/npl/ValleNAM19.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Thomas Eiter and Gabriele Kern-Isberner.
    A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective.
    KI 33(1):9–33, 2019.
    URL, DOI BibTeX

    @article{DBLP:journals/ki/EiterK19,
    	author = "Thomas Eiter and Gabriele Kern{-}Isberner",
    	title = "A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective",
    	journal = "{KI}",
    	volume = 33,
    	number = 1,
    	pages = "9--33",
    	year = 2019,
    	url = "https://doi.org/10.1007/s13218-018-0564-6",
    	doi = "10.1007/s13218-018-0564-6",
    	timestamp = "Mon, 18 Mar 2019 16:09:05 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/ki/EiterK19",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Lena Rolf, Gabriele Kern-Isberner and Gerhard Brewka.
    Argumentation-Based Explanations for Answer Sets Using ADF.
    In Marcello Balduccini, Yuliya Lierler and Stefan Woltran (eds.). Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings 11481. 2019, 89–102.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/lpnmr/RolfKB19,
    	author = "Lena Rolf and Gabriele Kern{-}Isberner and Gerhard Brewka",
    	editor = "Marcello Balduccini and Yuliya Lierler and Stefan Woltran",
    	title = "Argumentation-Based Explanations for Answer Sets Using {ADF}",
    	booktitle = "Logic Programming and Nonmonotonic Reasoning - 15th International Conference, {LPNMR} 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings",
    	series = "Lecture Notes in Computer Science",
    	volume = 11481,
    	pages = "89--102",
    	publisher = "Springer",
    	year = 2019,
    	url = "https://doi.org/10.1007/978-3-030-20528-7\_8",
    	doi = "10.1007/978-3-030-20528-7\_8",
    	timestamp = "Fri, 31 May 2019 09:51:40 +0200",
    	biburl = "https://dblp.org/rec/conf/lpnmr/RolfKB19.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Gabriele Kern-Isberner, Tanja Bock, Christoph Beierle and Kai Sauerwald.
    Axiomatic Evaluation of Epistemic Forgetting Operators.
    In Roman Barták and Keith W Brawner (eds.). Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, Sarasota, Florida, USA, May 19-22 2019. 2019, 470–475.
    URL BibTeX

    @inproceedings{DBLP:conf/flairs/Kern-IsbernerBB19,
    	author = "Gabriele Kern{-}Isberner and Tanja Bock and Christoph Beierle and Kai Sauerwald",
    	editor = "Roman Bart{\'{a}}k and Keith W. Brawner",
    	title = "Axiomatic Evaluation of Epistemic Forgetting Operators",
    	booktitle = "Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, Sarasota, Florida, USA, May 19-22 2019",
    	pages = "470--475",
    	publisher = "{AAAI} Press",
    	year = 2019,
    	url = "https://aaai.org/ocs/index.php/FLAIRS/FLAIRS19/paper/view/18231",
    	timestamp = "Thu, 30 May 2019 16:30:34 +0200",
    	biburl = "https://dblp.org/rec/conf/flairs/Kern-IsbernerBB19.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald and Christoph Beierle.
    Belief Change Properties of Forgetting Operations over Ranking Functions.
    In Abhaya C Nayak and Alok Sharma (eds.). PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I 11670. 2019, 459–472.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/pricai/Kern-IsbernerBS19,
    	author = "Gabriele Kern{-}Isberner and Tanja Bock and Kai Sauerwald and Christoph Beierle",
    	editor = "Abhaya C. Nayak and Alok Sharma",
    	title = "Belief Change Properties of Forgetting Operations over Ranking Functions",
    	booktitle = "{PRICAI} 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part {I}",
    	series = "Lecture Notes in Computer Science",
    	volume = 11670,
    	pages = "459--472",
    	publisher = "Springer",
    	year = 2019,
    	url = "https://doi.org/10.1007/978-3-030-29908-8\_37",
    	doi = "10.1007/978-3-030-29908-8\_37",
    	timestamp = "Wed, 25 Sep 2019 18:21:16 +0200",
    	biburl = "https://dblp.org/rec/conf/pricai/Kern-IsbernerBS19.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke and Franz Baader.
    Counting Strategies for the Probabilistic Description Logic \emphALC{\^}\textbackslashmathsf ME Under the Principle of Maximum Entropy.
    In Francesco Calimeri, Nicola Leone and Marco Manna (eds.). Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings 11468. 2019, 434–449.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/jelia/WilhelmKEB19,
    	author = "Marco Wilhelm and Gabriele Kern{-}Isberner and Andreas Ecke and Franz Baader",
    	editor = "Francesco Calimeri and Nicola Leone and Marco Manna",
    	title = "Counting Strategies for the Probabilistic Description Logic \emph{ALC}{\^{}}{\textbackslash}mathsf {ME} Under the Principle of Maximum Entropy",
    	booktitle = "Logics in Artificial Intelligence - 16th European Conference, {JELIA} 2019, Rende, Italy, May 7-11, 2019, Proceedings",
    	series = "Lecture Notes in Computer Science",
    	volume = 11468,
    	pages = "434--449",
    	publisher = "Springer",
    	year = 2019,
    	url = "https://doi.org/10.1007/978-3-030-19570-0\_28",
    	doi = "10.1007/978-3-030-19570-0\_28",
    	timestamp = "Fri, 27 Mar 2020 08:53:33 +0100",
    	biburl = "https://dblp.org/rec/conf/jelia/WilhelmKEB19.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer and Christoph Beierle.
    Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks.
    In Roman Barták and Keith W Brawner (eds.). Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, Sarasota, Florida, USA, May 19-22 2019. 2019, 494–499.
    URL BibTeX

    @inproceedings{DBLP:conf/flairs/WilhelmKFB19,
    	author = "Marco Wilhelm and Gabriele Kern{-}Isberner and Marc Finthammer and Christoph Beierle",
    	editor = "Roman Bart{\'{a}}k and Keith W. Brawner",
    	title = "Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks",
    	booktitle = "Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, Sarasota, Florida, USA, May 19-22 2019",
    	pages = "494--499",
    	publisher = "{AAAI} Press",
    	year = 2019,
    	url = "https://aaai.org/ocs/index.php/FLAIRS/FLAIRS19/paper/view/18235",
    	timestamp = "Thu, 30 May 2019 16:30:34 +0200",
    	biburl = "https://dblp.org/rec/conf/flairs/WilhelmKFB19.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Tung Bui (ed.).
    52nd Hawaii International Conference on System Sciences, HICSS 2019, Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019

    . ScholarSpace / AIS Electronic Library (AISeL), 2019.
    URL BibTeX

    @proceedings{DBLP:conf/hicss/2019,
    	editor = "Tung Bui",
    	title = "52nd Hawaii International Conference on System Sciences, {HICSS} 2019, Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019",
    	publisher = "ScholarSpace / {AIS} Electronic Library (AISeL)",
    	year = 2019,
    	url = "https://scholarspace.manoa.hawaii.edu/handle/10125/59440",
    	timestamp = "Wed, 10 Apr 2019 08:36:41 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/hicss/2019",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Christof Thim, Norbert Gronau, Annette Kluge, Eric Tsui and Gabriele Kern-Isberner.
    Introduction to the Minitrack on Intentional Forgetting in Organizations and Information Systems.
    In 52nd Hawaii International Conference on System Sciences, HICSS 2019, Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019. 2019, 1–2.
    URL BibTeX

    @inproceedings{DBLP:conf/hicss/ThimGKTK19,
    	author = "Christof Thim and Norbert Gronau and Annette Kluge and Eric Tsui and Gabriele Kern{-}Isberner",
    	title = "Introduction to the Minitrack on Intentional Forgetting in Organizations and Information Systems",
    	booktitle = "52nd Hawaii International Conference on System Sciences, {HICSS} 2019, Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019",
    	pages = "1--2",
    	year = 2019,
    	crossref = "DBLP:conf/hicss/2019",
    	url = "http://hdl.handle.net/10125/60340",
    	timestamp = "Wed, 10 Apr 2019 08:36:41 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/hicss/ThimGKTK19",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Marco Wilhelm and Gabriele Kern-Isberner.
    Maximum Entropy Calculations for the Probabilistic Description Logic \textdollar\textdollar\textbackslashmathcal ALC{\^}{\textbackslashmathsfME}\textdollar\textdollar.
    In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan and Frank Wolter (eds.). Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday 11560. 2019, 588–609.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/birthday/WilhelmK19,
    	author = "Marco Wilhelm and Gabriele Kern{-}Isberner",
    	editor = "Carsten Lutz and Uli Sattler and Cesare Tinelli and Anni{-}Yasmin Turhan and Frank Wolter",
    	title = "Maximum Entropy Calculations for the Probabilistic Description Logic {\textdollar}{\textdollar}{\textbackslash}mathcal \{ALC\}{\^{}}\{{\textbackslash}mathsf\{ME\}\}{\textdollar}{\textdollar}",
    	booktitle = "Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday",
    	series = "Lecture Notes in Computer Science",
    	volume = 11560,
    	pages = "588--609",
    	publisher = "Springer",
    	year = 2019,
    	url = "https://doi.org/10.1007/978-3-030-22102-7\_28",
    	doi = "10.1007/978-3-030-22102-7\_28",
    	timestamp = "Mon, 29 Jul 2019 16:00:26 +0200",
    	biburl = "https://dblp.org/rec/conf/birthday/WilhelmK19.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Lars-Phillip Spiegel, Gabriele Kern-Isberner and Marco Ragni.
    Rational Inference Patterns.
    In Abhaya C Nayak and Alok Sharma (eds.). PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I 11670. 2019, 405–417.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/pricai/SpiegelKR19,
    	author = "Lars{-}Phillip Spiegel and Gabriele Kern{-}Isberner and Marco Ragni",
    	editor = "Abhaya C. Nayak and Alok Sharma",
    	title = "Rational Inference Patterns",
    	booktitle = "{PRICAI} 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part {I}",
    	series = "Lecture Notes in Computer Science",
    	volume = 11670,
    	pages = "405--417",
    	publisher = "Springer",
    	year = 2019,
    	url = "https://doi.org/10.1007/978-3-030-29908-8\_33",
    	doi = "10.1007/978-3-030-29908-8\_33",
    	timestamp = "Wed, 25 Sep 2019 18:21:16 +0200",
    	biburl = "https://dblp.org/rec/conf/pricai/SpiegelKR19.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Franz Baader, Andreas Ecke, Gabriele Kern-Isberner and Marco Wilhelm.
    The Complexity of the Consistency Problem in the Probabilistic Description Logic \emphALC {\^}\textbackslashmathsf ME.
    In Andreas Herzig and Andrei Popescu (eds.). Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings 11715. 2019, 167–184.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/frocos/BaaderEKW19,
    	author = "Franz Baader and Andreas Ecke and Gabriele Kern{-}Isberner and Marco Wilhelm",
    	editor = "Andreas Herzig and Andrei Popescu",
    	title = "The Complexity of the Consistency Problem in the Probabilistic Description Logic \emph{ALC} {\^{}}{\textbackslash}mathsf {ME}",
    	booktitle = "Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings",
    	series = "Lecture Notes in Computer Science",
    	volume = 11715,
    	pages = "167--184",
    	publisher = "Springer",
    	year = 2019,
    	url = "https://doi.org/10.1007/978-3-030-29007-8\_10",
    	doi = "10.1007/978-3-030-29007-8\_10",
    	timestamp = "Thu, 22 Aug 2019 12:46:56 +0200",
    	biburl = "https://dblp.org/rec/conf/frocos/BaaderEKW19.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Christoph Beierle, Gabriele Kern-Isberner, Kai Sauerwald, Tanja Bock and Marco Ragni.
    Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management.
    KI 33(1):57–68, 2019.
    URL, DOI BibTeX

    @article{DBLP:journals/ki/BeierleKSBR19,
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner and Kai Sauerwald and Tanja Bock and Marco Ragni",
    	title = "Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management",
    	journal = "{KI}",
    	volume = 33,
    	number = 1,
    	pages = "57--68",
    	year = 2019,
    	url = "https://doi.org/10.1007/s13218-018-0567-3",
    	doi = "10.1007/s13218-018-0567-3",
    	timestamp = "Fri, 12 Apr 2019 09:23:23 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/ki/BeierleKSBR19",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Gaetano Geck, Bas Ketsman, Frank Neven and Thomas Schwentick.
    Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation.
    In 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016. 2016, 9:1–9:17.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/GeckKNS16,
    	author = "Gaetano Geck and Bas Ketsman and Frank Neven and Thomas Schwentick",
    	bibsource = "dblp computer science bibliography, http://dblp.org",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/GeckKNS16",
    	booktitle = "19th International Conference on Database Theory, {ICDT} 2016, Bordeaux, France, March 15-18, 2016",
    	crossref = "DBLP:conf/icdt/2016",
    	doi = "10.4230/LIPIcs.ICDT.2016.9",
    	pages = "9:1--9:17",
    	timestamp = "Wed, 23 Mar 2016 10:12:09 +0100",
    	title = "Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation",
    	url = "http://dx.doi.org/10.4230/LIPIcs.ICDT.2016.9",
    	year = 2016,
    	bdsk-url-1 = "http://dx.doi.org/10.4230/LIPIcs.ICDT.2016.9"
    }
    

  1. Gaetano Geck, Artur Ljulin, Jonas Haldimann, Johannes May, Jonas Schmidt, Marko Schmellenkamp, Daniel Sonnabend, Felix Tschirbs, Fabian Vehlken and Thomas Zeume.
    Teaching Logic with Iltis: an Interactive, Web-Based System.
    In Bruce Scharlau, Roger McDermott, Arnold Pears and Mihaela Sabin (eds.). Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, Aberdeen, Scotland, UK, July 15-17, 2019. 2019, 307.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/iticse/GeckLHMSSSTVZ19,
    	author = "Gaetano Geck and Artur Ljulin and Jonas Haldimann and Johannes May and Jonas Schmidt and Marko Schmellenkamp and Daniel Sonnabend and Felix Tschirbs and Fabian Vehlken and Thomas Zeume",
    	editor = "Bruce Scharlau and Roger McDermott and Arnold Pears and Mihaela Sabin",
    	title = "Teaching Logic with Iltis: an Interactive, Web-Based System",
    	booktitle = "Proceedings of the 2019 {ACM} Conference on Innovation and Technology in Computer Science Education, Aberdeen, Scotland, UK, July 15-17, 2019",
    	pages = 307,
    	publisher = "{ACM}",
    	year = 2019,
    	url = "https://doi.org/10.1145/3304221.3325571",
    	doi = "10.1145/3304221.3325571",
    	timestamp = "Fri, 27 Dec 2019 21:22:52 +0100",
    	biburl = "https://dblp.org/rec/conf/iticse/GeckLHMSSSTVZ19.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Christian Coester, Thomas Schwentick and Martin Schuster.
    Winning Strategies for Streaming Rewriting Games.
    In Leszek Antoni Gasieniec, Jesper Jansson and Christos Levcopoulos (eds.). Fundamentals of Computation Theory - 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings 11651. 2019, 49–63.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/fct/CoesterSS19,
    	author = "Christian Coester and Thomas Schwentick and Martin Schuster",
    	editor = "Leszek Antoni Gasieniec and Jesper Jansson and Christos Levcopoulos",
    	title = "Winning Strategies for Streaming Rewriting Games",
    	booktitle = "Fundamentals of Computation Theory - 22nd International Symposium, {FCT} 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings",
    	series = "Lecture Notes in Computer Science",
    	volume = 11651,
    	pages = "49--63",
    	publisher = "Springer",
    	year = 2019,
    	url = "https://doi.org/10.1007/978-3-030-25027-0\_4",
    	doi = "10.1007/978-3-030-25027-0\_4",
    	timestamp = "Wed, 25 Sep 2019 18:20:49 +0200",
    	biburl = "https://dblp.org/rec/conf/fct/CoesterSS19.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

2018

  1. Samir Datta, Raghav Kulkarni, Anish Mukherjee, Thomas Schwentick and Thomas Zeume.
    Reachability Is in DynFO.
    J. ACM 65(5):33:1–33:24, 2018.
    URL, DOI BibTeX

    @article{DBLP:journals/jacm/DattaKMSZ18,
    	author = "Samir Datta and Raghav Kulkarni and Anish Mukherjee and Thomas Schwentick and Thomas Zeume",
    	title = "Reachability Is in DynFO",
    	journal = "J. {ACM}",
    	volume = 65,
    	number = 5,
    	pages = "33:1--33:24",
    	year = 2018,
    	url = "https://doi.org/10.1145/3212685",
    	doi = "10.1145/3212685",
    	timestamp = "Wed, 21 Nov 2018 12:44:29 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/jacm/DattaKMSZ18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Henrik Björklund, Wim Martens and Thomas Schwentick.
    Conjunctive query containment over trees using schema information.
    Acta Inf. 55(1):17–56, 2018.
    URL, DOI BibTeX

    @article{DBLP:journals/acta/BjorklundMS18,
    	author = {Henrik Bj{\"{o}}rklund and Wim Martens and Thomas Schwentick},
    	title = "Conjunctive query containment over trees using schema information",
    	journal = "Acta Inf.",
    	volume = 55,
    	number = 1,
    	pages = "17--56",
    	year = 2018,
    	url = "https://doi.org/10.1007/s00236-016-0282-1",
    	doi = "10.1007/s00236-016-0282-1",
    	timestamp = "Wed, 07 Feb 2018 13:19:42 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/acta/BjorklundMS18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }