1. Caroline Barbieri and Claudio Moraga.
    On the Complexity of the Cycles based Synthesis of Ternary Reversible Circuits.
    CoRR abs/2002.07498, 2020.
    URL BibTeX

    @article{DBLP:journals/corr/abs-2002-07498,
    	author = "Caroline Barbieri and Claudio Moraga",
    	title = "On the Complexity of the Cycles based Synthesis of Ternary Reversible Circuits",
    	journal = "CoRR",
    	volume = "abs/2002.07498",
    	year = 2020,
    	url = "https://arxiv.org/abs/2002.07498",
    	archiveprefix = "arXiv",
    	eprint = "2002.07498",
    	timestamp = "Mon, 02 Mar 2020 16:46:06 +0100",
    	biburl = "https://dblp.org/rec/journals/corr/abs-2002-07498.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Pawel Kerntopf, Claudio Moraga, Krzysztof Podlaski and Radomir S Stankovic.
    Research on Reversible Functions Having Component Functions with Specified Properties: An Overview.
    In Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz and Carla Ferreira (eds.). Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Lecture Notes in Computer Science series, volume 12070, Springer, 2020, pages 83–107.
    URL, DOI BibTeX

    @incollection{DBLP:series/lncs/KerntopfMPS20,
    	author = "Pawel Kerntopf and Claudio Moraga and Krzysztof Podlaski and Radomir S. Stankovic",
    	editor = "Irek Ulidowski and Ivan Lanese and Ulrik Pagh Schultz and Carla Ferreira",
    	title = "Research on Reversible Functions Having Component Functions with Specified Properties: An Overview",
    	booktitle = "Reversible Computation: Extending Horizons of Computing - Selected Results of the {COST} Action {IC1405}",
    	series = "Lecture Notes in Computer Science",
    	volume = 12070,
    	pages = "83--107",
    	publisher = "Springer",
    	year = 2020,
    	url = "https://doi.org/10.1007/978-3-030-47361-7\_4",
    	doi = "10.1007/978-3-030-47361-7\_4",
    	timestamp = "Mon, 15 Jun 2020 16:48:13 +0200",
    	biburl = "https://dblp.org/rec/series/lncs/KerntopfMPS20.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Marco Wilhelm and Gabriele Kern-Isberner.
    Context-Based Inferences from Probabilistic Conditionals with Default Negation at Maximum Entropy.
    In Roman Barták and Eric Bell (eds.). Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, Originally to be held in North Miami Beach, Florida, USA, May 17-20, 2020. 2020, 593–598.
    URL BibTeX

    @inproceedings{DBLP:conf/flairs/WilhelmK20,
    	author = "Marco Wilhelm and Gabriele Kern{-}Isberner",
    	editor = "Roman Bart{\'{a}}k and Eric Bell",
    	title = "Context-Based Inferences from Probabilistic Conditionals with Default Negation at Maximum Entropy",
    	booktitle = "Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, Originally to be held in North Miami Beach, Florida, USA, May 17-20, 2020",
    	pages = "593--598",
    	publisher = "{AAAI} Press",
    	year = 2020,
    	url = "https://aaai.org/ocs/index.php/FLAIRS/FLAIRS20/paper/view/18505",
    	timestamp = "Thu, 04 Jun 2020 14:36:27 +0200",
    	biburl = "https://dblp.org/rec/conf/flairs/WilhelmK20.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Meliha Sezgin and Gabriele Kern-Isberner.
    Generalized Ranking Kinematics for Iterated Belief Revision.
    In Roman Barták and Eric Bell (eds.). Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, Originally to be held in North Miami Beach, Florida, USA, May 17-20, 2020. 2020, 587–592.
    URL BibTeX

    @inproceedings{DBLP:conf/flairs/SezginK20,
    	author = "Meliha Sezgin and Gabriele Kern{-}Isberner",
    	editor = "Roman Bart{\'{a}}k and Eric Bell",
    	title = "Generalized Ranking Kinematics for Iterated Belief Revision",
    	booktitle = "Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, Originally to be held in North Miami Beach, Florida, USA, May 17-20, 2020",
    	pages = "587--592",
    	publisher = "{AAAI} Press",
    	year = 2020,
    	url = "https://aaai.org/ocs/index.php/FLAIRS/FLAIRS20/paper/view/18504",
    	timestamp = "Thu, 04 Jun 2020 14:36:27 +0200",
    	biburl = "https://dblp.org/rec/conf/flairs/SezginK20.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. 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. 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. 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. 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. 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. 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. 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. 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. Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt, Fabian Vehlken and Thomas Zeume.
    Introduction to Iltis: an interactive, web-based system for teaching logic.
    In Irene Polycarpou, Janet C Read, Panayiotis Andreou and Michal Armoni (eds.). Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2018, Larnaca, Cyprus, July 02-04, 2018. 2018, 141–146.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/iticse/GeckLPSVZ18,
    	author = "Gaetano Geck and Artur Ljulin and Sebastian Peter and Jonas Schmidt and Fabian Vehlken and Thomas Zeume",
    	editor = "Irene Polycarpou and Janet C. Read and Panayiotis Andreou and Michal Armoni",
    	title = "Introduction to Iltis: an interactive, web-based system for teaching logic",
    	booktitle = "Proceedings of the 23rd Annual {ACM} Conference on Innovation and Technology in Computer Science Education, ITiCSE 2018, Larnaca, Cyprus, July 02-04, 2018",
    	pages = "141--146",
    	publisher = "{ACM}",
    	year = 2018,
    	url = "https://doi.org/10.1145/3197091.3197095",
    	doi = "10.1145/3197091.3197095",
    	timestamp = "Wed, 21 Nov 2018 12:44:02 +0100",
    	biburl = "https://dblp.org/rec/conf/iticse/GeckLPSVZ18.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Gaetano Geck, Frank Neven and Thomas Schwentick.
    Distribution Constraints: The Chase for Distributed Data.
    In Carsten Lutz and Jean Christoph Jung (eds.). 23rd International Conference on Database Theory, ICDT 2020, March 30-April 2, 2020, Copenhagen, Denmark 155. 2020, 13:1–13:19.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/GeckNS20,
    	author = "Gaetano Geck and Frank Neven and Thomas Schwentick",
    	editor = "Carsten Lutz and Jean Christoph Jung",
    	title = "Distribution Constraints: The Chase for Distributed Data",
    	booktitle = "23rd International Conference on Database Theory, {ICDT} 2020, March 30-April 2, 2020, Copenhagen, Denmark",
    	series = "LIPIcs",
    	volume = 155,
    	pages = "13:1--13:19",
    	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
    	year = 2020,
    	url = "https://doi.org/10.4230/LIPIcs.ICDT.2020.13",
    	doi = "10.4230/LIPIcs.ICDT.2020.13",
    	timestamp = "Thu, 19 Mar 2020 10:24:23 +0100",
    	biburl = "https://dblp.org/rec/conf/icdt/GeckNS20.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Jonas Schmidt, Thomas Schwentick, Nils Vortmeier, Thomas Zeume and Ioannis Kokkinis.
    Dynamic Complexity Meets Parameterised Algorithms.
    In Maribel Fernández and Anca Muscholl (eds.). 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain 152. 2020, 36:1–36:17.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/csl/SchmidtSVZK20,
    	author = "Jonas Schmidt and Thomas Schwentick and Nils Vortmeier and Thomas Zeume and Ioannis Kokkinis",
    	editor = "Maribel Fern{\'{a}}ndez and Anca Muscholl",
    	title = "Dynamic Complexity Meets Parameterised Algorithms",
    	booktitle = "28th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2020, January 13-16, 2020, Barcelona, Spain",
    	series = "LIPIcs",
    	volume = 152,
    	pages = "36:1--36:17",
    	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
    	year = 2020,
    	url = "https://doi.org/10.4230/LIPIcs.CSL.2020.36",
    	doi = "10.4230/LIPIcs.CSL.2020.36",
    	timestamp = "Mon, 15 Jun 2020 17:01:53 +0200",
    	biburl = "https://dblp.org/rec/conf/csl/SchmidtSVZK20.bib",
    	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. Pawel Kerntopf, Krzysztof Podlaski, Claudio Moraga and Radomir S Stankovic.
    New Results on Reversible Boolean Functions having Component Functions with Specific Properties.
    In Rolf Drechsler and Mathias Soeken (eds.). Advanced Boolean Techniques. Springer, 2019, pages 217–236.
    URL, DOI BibTeX

    @incollection{KerntopfPMS19,
    	author = "Pawel Kerntopf and Krzysztof Podlaski and Claudio Moraga and Radomir S. Stankovic",
    	title = "New Results on Reversible Boolean Functions having Component Functions with Specific Properties",
    	booktitle = "Advanced Boolean Techniques",
    	editor = "Rolf Drechsler and Mathias Soeken",
    	pages = "217--236",
    	year = 2019,
    	publisher = "Springer",
    	doi = "10.1007/978-3-030-20323-8_10",
    	url = "https://link.springer.com/chapter/10.1007/978-3-030-20323-8_10"
    }
    

  1. Martin Lukac, Claudio Moraga and Michitaka Kameyama.
    Properties of Bent Functions in the Truth Domain.
    In International Conference on Information and Digital Technologies (IDT), Zilina, Slovakia, June 25-27, 2019. 2019, 305–311.
    URL, DOI BibTeX

    @inproceedings{ LukacMK19,
    	author = "Martin Lukac and Claudio Moraga and Michitaka Kameyama",
    	title = "Properties of Bent Functions in the Truth Domain",
    	booktitle = "International Conference on Information and Digital Technologies (IDT), Zilina, Slovakia, June 25-27, 2019",
    	pages = "305--311",
    	year = 2019,
    	doi = "10.1109/DT.2019.8813751",
    	url = "https://ieeexplore.ieee.org/document/8813751"
    }
    

  1. Radomir S Stankovic, Milena M Stankovic, Jaakko Astola and Claudio Moraga.
    Towards the Structure of a Class of Permutation Matrices Associated to Bent Functions.
    In Rolf Drechsler and Mathias Soeken (eds.). Advanced Boolean Techniques. Springer, 2019, pages 83–105.
    URL, DOI BibTeX

    @incollection{StankovicSAM19,
    	author = "Radomir S. Stankovic and Milena M. Stankovic and Jaakko Astola and Claudio Moraga",
    	title = "Towards the Structure of a Class of Permutation Matrices Associated to Bent Functions",
    	booktitle = "Advanced Boolean Techniques",
    	editor = "Rolf Drechsler and Mathias Soeken",
    	pages = "83--105",
    	year = 2019,
    	publisher = "Springer",
    	doi = "10.1007/978-3-030-20323-8_4",
    	url = "https://link.springer.com/chapter/10.1007%2F978-3-030-20323-8_4"
    }