1. Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir V Podolskii, Thomas Schwentick and Michael Zakharyaschev.
    The price of query rewriting in ontology-based data access.
    Artif. Intell. 213:42–59, 2014.
    URL, DOI BibTeX

    @article{DBLP:journals/ai/GottlobKKPSZ14,
    	author = "Georg Gottlob and Stanislav Kikot and Roman Kontchakov and Vladimir V. Podolskii and Thomas Schwentick and Michael Zakharyaschev",
    	title = "The price of query rewriting in ontology-based data access",
    	journal = "Artif. Intell.",
    	year = 2014,
    	volume = 213,
    	pages = "42--59",
    	url = "http://dx.doi.org/10.1016/j.artint.2014.04.004",
    	doi = "10.1016/j.artint.2014.04.004",
    	timestamp = "Tue, 18 Nov 2014 21:19:07 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/ai/GottlobKKPSZ14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Gabriele Kern-Isberner, Marco Wilhelm and Christoph Beierle.
    A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy.
    In Proceedings of the 27th International Florida Artificial Intelligence Research Society Conference (FLAIRS). 2014.
    BibTeX

    @inproceedings{KernIsberner_Wilhelm_Beierle_2014b,
    	author = "Gabriele Kern{-}Isberner and Marco Wilhelm and Christoph Beierle",
    	title = "A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy",
    	booktitle = "Proceedings of the 27th International Florida Artificial Intelligence Research Society Conference (FLAIRS)",
    	year = 2014
    }
    

  1. Fatima Zohra Hadjam and Claudio Moraga.
    Introduction to RIMEP2: A Multi-Expression Programming System for the Design of Reversible Digital Circuits.
    CoRR abs/1405.2226, 2014.
    URL BibTeX

    @article{DBLP:journals/corr/HadjamM14,
    	author = "Fatima Zohra Hadjam and Claudio Moraga",
    	title = "Introduction to {RIMEP2:} {A} Multi-Expression Programming System for the Design of Reversible Digital Circuits",
    	journal = "CoRR",
    	volume = "abs/1405.2226",
    	year = 2014,
    	url = "http://arxiv.org/abs/1405.2226",
    	timestamp = "Mon, 02 Jun 2014 08:30:36 +0200",
    	biburl = "http://dblp2.uni-trier.de/rec/bib/journals/corr/HadjamM14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Zeume.
    The Dynamic Descriptive Complexity of k-Clique.
    In Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I. 2014, 547–558.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/mfcs/Zeume14,
    	author = "Thomas Zeume",
    	title = "The Dynamic Descriptive Complexity of k-Clique",
    	booktitle = "Mathematical Foundations of Computer Science 2014 - 39th International Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part {I}",
    	pages = "547--558",
    	year = 2014,
    	url = "http://dx.doi.org/10.1007/978-3-662-44522-8_46",
    	doi = "10.1007/978-3-662-44522-8_46",
    	timestamp = "Wed, 10 Sep 2014 14:53:34 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/mfcs/Zeume14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Milena Stankovic, Suzana Stojkovic and Claudio Moraga.
    Threshold Logic Realization of Discrete Functions Through Heterogeneous Decision Diagrams.
    Multiple-Valued Logic and Soft Computing 23(3-4):315–335, 2014.
    BibTeX

    @article{DBLP:journals/mvl/StankovicSM14,
    	author = "Milena Stankovic and Suzana Stojkovic and Claudio Moraga",
    	title = "Threshold Logic Realization of Discrete Functions Through Heterogeneous Decision Diagrams",
    	journal = "Multiple-Valued Logic and Soft Computing",
    	volume = 23,
    	number = "3-4",
    	pages = "315--335",
    	year = 2014,
    	timestamp = "Thu, 07 Aug 2014 09:25:16 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/mvl/StankovicSM14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Christian Eichhorn and Gabriele Kern-Isberner.
    LEG Networks for Ranking Functions.
    In Eduardo Fermé and João Leite (eds.). Logics in Artificial Intelligence. Lecture Notes in Computer Science series, volume 8761, Springer International Publishing, 2014, pages 210-223.
    URL, DOI BibTeX

    @incollection{EichhornKernIsberner2014b,
    	author = "Christian Eichhorn and Gabriele Kern-Isberner",
    	title = "LEG Networks for Ranking Functions",
    	editor = "Fermé, Eduardo and Leite, João",
    	series = "Lecture Notes in Computer Science",
    	volume = 8761,
    	booktitle = "Logics in Artificial Intelligence",
    	isbn = "978-3-319-11557-3",
    	doi = "10.1007/978-3-319-11558-0_15",
    	url = "http://dx.doi.org/10.1007/978-3-319-11558-0_15",
    	publisher = "Springer International Publishing",
    	pages = "210-223",
    	year = 2014
    }
    

  1. Joachim Biskup, Gabriele Kern-Isberner, Patrick Krümpelmann and Cornelia Tadros.
    Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions.
    In Christoph Beierle and Carlo Meghini (eds.). 8th Proceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems (FoIKS2014) to appear. 2014.
    BibTeX

    @inproceedings{biskup2014foiks,
    	author = {Biskup, Joachim and Kern-Isberner, Gabriele and Kr\"umpelmann, Patrick and Tadros, Cornelia},
    	booktitle = "8th Proceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems (FoIKS2014)",
    	date-added = "2014-11-18 12:01:00 +0000",
    	date-modified = "2014-11-18 12:01:00 +0000",
    	editor = "Christoph Beierle and Carlo Meghini",
    	keywords = "own",
    	publisher = "Springer",
    	series = "LNCS",
    	title = "Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions",
    	volume = "to appear",
    	year = 2014,
    	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QKi4uLy4uLy4uLy4uLy4uLy4uL0Rvd25sb2Fkcy84MzY3MDA5Ny0xLnBkZtIXCxgZV05TLmRhdGFPEQFaAAAAAAFaAAIAAAFwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAADMycJXSCsAAAAGY1UOODM2NzAwOTctMS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAInkzM7+4MsAAAAAAAAAAAAGAAIAAAkgAAAAAAAAAAAAAAAAAAAACURvd25sb2FkcwAAEAAIAADMybRHAAAAEQAIAADO/tK7AAAAAQAMAAZjVQAESs8AAL8SAAIAKHA6VXNlcnM6AHBhdHM6AERvd25sb2FkczoAODM2NzAwOTctMS5wZGYADgAeAA4AOAAzADYANwAwADAAOQA3AC0AMQAuAHAAZABmAA8ABAABAHAAEgAjVXNlcnMvcGF0cy9Eb3dubG9hZHMvODM2NzAwOTctMS5wZGYAABMAAS8AABUAAgAL//8AAIAG0hscHR5aJGNsYXNzbmFtZVgkY2xhc3Nlc11OU011dGFibGVEYXRhox0fIFZOU0RhdGFYTlNPYmplY3TSGxwiI1xOU0RpY3Rpb25hcnmiIiBfEA9OU0tleWVkQXJjaGl2ZXLRJidUcm9vdIABAAgAEQAaACMALQAyADcAQABGAE0AVQBgAGcAagBsAG4AcQBzAHUAdwCEAI4AuwDAAMgCJgIoAi0COAJBAk8CUwJaAmMCaAJ1AngCigKNApIAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAClA==",
    	bdsk-file-2 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QWC4uLy4uLy4uLy4uL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9iaXNrdXAvYmlza3VwMjAxNC5wZGbSFwsYGVdOUy5kYXRhTxECJgAAAAACJgACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAykEGDEgrAAAAuMRPDmJpc2t1cDIwMTQucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAC4xFbPn+lHAAAAAAAAAAAABAAHAAAJIAAAAAAAAAAAAAAAAAAAAAZiaXNrdXAAEAAIAADKQOnsAAAAEQAIAADPn80nAAAAAQAoALjETwC4xBgAt6WbAHUQzABwFJMAcBRkAAVe3AAFFdIABRTMAAC+7AACAIBNYWNpbnRvc2ggSEQ6VXNlcnM6AHBhdHM6AERvY3VtZW50czoAbXlTdHVmZjoAc3ZuczoAYW5nZXJvbmE6AGRvY3VtZW50YXRpb246AGJpYmxpb2dyYXBoeToAYmliZGVzay1wYXBlcjoAYmlza3VwOgBiaXNrdXAyMDE0LnBkZgAOAB4ADgBiAGkAcwBrAHUAcAAyADAAMQA0AC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgBpVXNlcnMvcGF0cy9Eb2N1bWVudHMvbXlTdHVmZi9zdm5zL2FuZ2Vyb25hL2RvY3VtZW50YXRpb24vYmlibGlvZ3JhcGh5L2JpYmRlc2stcGFwZXIvYmlza3VwL2Jpc2t1cDIwMTQucGRmAAATAAEvAAAVAAIAC///AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOAOkA7gD2AyADIgMnAzIDOwNJA00DVANdA2IDbwNyA4QDhwOMAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAA44="
    }
    

  1. Christoph Beierle, Rita Hermsen and Gabriele Kern-Isberner.
    Observations on the Minimality of Ranking Functions for Qualitative Conditional Knowledge Bases and Their Computation.
    In Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, FLAIRS 2014, Pensacola Beach, Florida, May 21-23, 2014.. 2014.
    URL BibTeX

    @inproceedings{Beierle2014,
    	title = "Observations on the Minimality of Ranking Functions for Qualitative Conditional Knowledge Bases and Their Computation",
    	author = "Christoph Beierle and Rita Hermsen and Gabriele Kern{-}Isberner",
    	booktitle = "Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, {FLAIRS} 2014, Pensacola Beach, Florida, May 21-23, 2014.",
    	year = 2014,
    	url = "http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS14/paper/view/7831"
    }
    

  1. Gabriele Kern-Isberner, Marco Wilhelm and Christoph Beierle.
    Probabilistic Knowledge Representation Using Gröbner Basis Theory.
    In Proceedings of the 13th International Symposium on Artificial Intelligence and Mathematics (ISAIM). 2014.
    BibTeX

    @inproceedings{KernIsberner_Wilhelm_Beierle_2014,
    	author = "Gabriele Kern{-}Isberner and Marco Wilhelm and Christoph Beierle",
    	title = {Probabilistic Knowledge Representation Using {G}r\"{o}bner Basis Theory},
    	booktitle = "Proceedings of the 13th International Symposium on Artificial Intelligence and Mathematics (ISAIM)",
    	year = 2014
    }
    

  1. Thomas Zeume and Thomas Schwentick.
    Dynamic Conjunctive Queries.
    In Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014.. 2014, 38–49.
    URL PDF, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/ZeumeS14,
    	author = "Thomas Zeume and Thomas Schwentick",
    	title = "Dynamic Conjunctive Queries",
    	booktitle = "Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014.",
    	year = 2014,
    	pages = "38--49",
    	crossref = "DBLP:conf/icdt/2014",
    	url = "http://dx.doi.org/10.5441/002/icdt.2014.08",
    	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/ZeumeSDynamic14.pdf",
    	doi = "10.5441/002/icdt.2014.08",
    	timestamp = "Tue, 18 Nov 2014 21:20:16 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/ZeumeS14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Matthias Niewerth and Thomas Schwentick.
    Reasoning about XML Constraints based on XML-to-relational mappings.
    In Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014.. 2014, 72–83.
    URL PDF, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/NiewerthS14,
    	author = "Matthias Niewerth and Thomas Schwentick",
    	title = "Reasoning about {XML} Constraints based on XML-to-relational mappings",
    	booktitle = "Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014.",
    	year = 2014,
    	pages = "72--83",
    	crossref = "DBLP:conf/icdt/2014",
    	url = "http://dx.doi.org/10.5441/002/icdt.2014.11",
    	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/NiewerthSReasoning14.pdf",
    	doi = "10.5441/002/icdt.2014.11",
    	timestamp = "Tue, 18 Nov 2014 21:25:47 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/NiewerthS14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

2013

  1. Héctor Allende-Cid, Claudio Moraga, Héctor Allende and Raúl Monge.
    Context-Aware Regression from Distributed Sources.
    In Intelligent Distributed Computing VII - Proceedings of the 7th International Symposium on Intelligent Distributed Computing, IDC 2013, Prague, Czech Republic, September 2013. 2013, 17–22.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/idc/Allende-CidMAM13,
    	author = "H{\'{e}}ctor Allende{-}Cid and Claudio Moraga and H{\'{e}}ctor Allende and Ra{\'{u}}l Monge",
    	title = "Context-Aware Regression from Distributed Sources",
    	booktitle = "Intelligent Distributed Computing {VII} - Proceedings of the 7th International Symposium on Intelligent Distributed Computing, {IDC} 2013, Prague, Czech Republic, September 2013",
    	pages = "17--22",
    	year = 2013,
    	crossref = "DBLP:conf/idc/2013",
    	url = "http://dx.doi.org/10.1007/978-3-319-01571-2_3",
    	doi = "10.1007/978-3-319-01571-2_3",
    	timestamp = "Thu, 09 Oct 2014 20:36:12 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/idc/Allende-CidMAM13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Claudio Moraga, Milena Stankovic, Radomir S Stankovic and Suzana Stojkovic.
    Contribution to the Study of Multiple-Valued Bent Functions.
    In 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013. 2013, 340–345.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/MoragaSSS13,
    	author = "Claudio Moraga and Milena Stankovic and Radomir S. Stankovic and Suzana Stojkovic",
    	title = "Contribution to the Study of Multiple-Valued Bent Functions",
    	booktitle = "43rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2013, Toyama, Japan, May 22-24, 2013",
    	pages = "340--345",
    	year = 2013,
    	crossref = "DBLP:conf/ismvl/2013",
    	url = "http://dx.doi.org/10.1109/ISMVL.2013.21",
    	doi = "10.1109/ISMVL.2013.21",
    	timestamp = "Wed, 12 Jun 2013 13:40:26 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/ismvl/MoragaSSS13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Patrick Krümpelmann, Tim Janus and Gabriele Kern-Isberner.
    Angerona - A Multiagent Framework for Logic Based Agents.
    Technische Universität Dortmund, Department of Computer Science, 2014.
    BibTeX

    @techreport{kruempelmann2013,
    	author = {Kr\"umpelmann, Patrick and Janus, Tim and Kern-Isberner, Gabriele},
    	date-added = "2014-11-18 12:01:52 +0000",
    	date-modified = "2014-11-18 12:01:52 +0000",
    	institution = {Technische Universit{\"a}t Dortmund, Department of Computer Science},
    	title = "Angerona - A Multiagent Framework for Logic Based Agents",
    	year = 2014
    }
    

  1. Henrik Björklund, Martin Schuster, Thomas Schwentick and Joscha Kulbatzki.
    On optimum left-to-right strategies for active context-free games.
    In Joint 2013 EDBT/ICDT Conferences, ICDT '13 Proceedings, Genoa, Italy, March 18-22, 2013. 2013, 105–116.
    URL PDF, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/BjorklundSSK13,
    	author = {Henrik Bj{\"{o}}rklund and Martin Schuster and Thomas Schwentick and Joscha Kulbatzki},
    	title = "On optimum left-to-right strategies for active context-free games",
    	booktitle = "Joint 2013 {EDBT/ICDT} Conferences, {ICDT} '13 Proceedings, Genoa, Italy, March 18-22, 2013",
    	year = 2013,
    	pages = "105--116",
    	crossref = "DBLP:conf/icdt/2013",
    	url = "http://doi.acm.org/10.1145/2448496.2448510",
    	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/BjoerklundSSKOptimum13.pdf",
    	doi = "10.1145/2448496.2448510",
    	timestamp = "Tue, 18 Nov 2014 21:26:06 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/BjorklundSSK13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Schwentick.
    The Dynamic Complexity of the Reachability Problem on Graphs.
    In Reachability Problems - 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings. 2013, 45.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/rp/Schwentick13,
    	author = "Thomas Schwentick",
    	title = "The Dynamic Complexity of the Reachability Problem on Graphs",
    	booktitle = "Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings",
    	year = 2013,
    	pages = 45,
    	crossref = "DBLP:conf/rp/2013",
    	url = "http://dx.doi.org/10.1007/978-3-642-41036-9_5",
    	doi = "10.1007/978-3-642-41036-9_5",
    	timestamp = "Tue, 18 Nov 2014 21:26:36 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/rp/Schwentick13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Benedikt Bollig, Aiswarya Cyriac, Lo{\"ı}c Hélouët, Ahmet Kara and Thomas Schwentick.
    Dynamic Communicating Automata and Branching High-Level MSCs.
    In Language and Automata Theory and Applications - 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings. 2013, 177–189.
    URL PDF, DOI BibTeX

    @inproceedings{DBLP:conf/lata/BolligCHKS13,
    	author = {Benedikt Bollig and Aiswarya Cyriac and Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and Ahmet Kara and Thomas Schwentick},
    	title = "Dynamic Communicating Automata and Branching High-Level MSCs",
    	booktitle = "Language and Automata Theory and Applications - 7th International Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings",
    	pages = "177--189",
    	year = 2013,
    	crossref = "DBLP:conf/lata/2013",
    	url = "http://dx.doi.org/10.1007/978-3-642-37064-9_17",
    	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/BolligCHKDynamic13.pdf",
    	doi = "10.1007/978-3-642-37064-9_17",
    	timestamp = "Tue, 11 Nov 2014 16:50:37 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/lata/BolligCHKS13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Henrik Björklund, Wim Martens and Thomas Schwentick.
    Validity of Tree Pattern Queries with Respect to Schema Information.
    In Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. 2013, 171–182.
    URL PDF, DOI BibTeX

    @inproceedings{DBLP:conf/mfcs/BjorklundMS13,
    	author = {Henrik Bj{\"{o}}rklund and Wim Martens and Thomas Schwentick},
    	title = "Validity of Tree Pattern Queries with Respect to Schema Information",
    	booktitle = "Mathematical Foundations of Computer Science 2013 - 38th International Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings",
    	year = 2013,
    	pages = "171--182",
    	crossref = "DBLP:conf/mfcs/2013",
    	url = "http://dx.doi.org/10.1007/978-3-642-40313-2_17",
    	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/BjoerklundMSValidity13.pdf",
    	doi = "10.1007/978-3-642-40313-2_17",
    	timestamp = "Tue, 18 Nov 2014 21:26:24 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/mfcs/BjorklundMS13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Zeume and Thomas Schwentick.
    On the Quantifier-Free Dynamic Complexity of Reachability.
    In Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. 2013, 837–848.
    URL PDF, DOI BibTeX

    @inproceedings{DBLP:conf/mfcs/ZeumeS13,
    	author = "Thomas Zeume and Thomas Schwentick",
    	title = "On the Quantifier-Free Dynamic Complexity of Reachability",
    	booktitle = "Mathematical Foundations of Computer Science 2013 - 38th International Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings",
    	year = 2013,
    	pages = "837--848",
    	crossref = "DBLP:conf/mfcs/2013",
    	url = "http://dx.doi.org/10.1007/978-3-642-40313-2_73",
    	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/ZeumeSQuantifier13.pdf",
    	doi = "10.1007/978-3-642-40313-2_73",
    	timestamp = "Tue, 18 Nov 2014 21:26:31 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/mfcs/ZeumeS13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }