2009

  1. Thomas Schwentick and Henrik Björklund.
    Volker Weber.
    Journal of Logic, Language and Information 18(4):433, 2009.
    URL, DOI BibTeX

    @article{DBLP:journals/jolli/SchwentickB09,
    	author = {Thomas Schwentick and Henrik Bj{\"{o}}rklund},
    	title = "Volker Weber",
    	journal = "Journal of Logic, Language and Information",
    	year = 2009,
    	volume = 18,
    	number = 4,
    	pages = 433,
    	url = "http://dx.doi.org/10.1007/s10849-009-9097-6",
    	doi = "10.1007/s10849-009-9097-6",
    	timestamp = "Tue, 18 Nov 2014 21:31:26 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/jolli/SchwentickB09",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Schwentick and Dan Suciu.
    Foreword.
    Theory Comput. Syst. 44(4):501–502, 2009.
    URL, DOI BibTeX

    @article{DBLP:journals/mst/SchwentickS09,
    	author = "Thomas Schwentick and Dan Suciu",
    	title = "Foreword",
    	journal = "Theory Comput. Syst.",
    	year = 2009,
    	volume = 44,
    	number = 4,
    	pages = "501--502",
    	url = "http://dx.doi.org/10.1007/s00224-008-9156-4",
    	doi = "10.1007/s00224-008-9156-4",
    	timestamp = "Tue, 18 Nov 2014 21:31:31 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/mst/SchwentickS09",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Georg Gottlob, Zoltán Miklós and Thomas Schwentick.
    Generalized hypertree decompositions: NP-hardness and tractable variants.
    J. ACM 56(6), 2009.
    URL, DOI BibTeX

    @article{DBLP:journals/jacm/GottlobMS09,
    	author = "Georg Gottlob and Zolt{\'{a}}n Mikl{\'{o}}s and Thomas Schwentick",
    	title = "Generalized hypertree decompositions: NP-hardness and tractable variants",
    	journal = "J. {ACM}",
    	year = 2009,
    	volume = 56,
    	number = 6,
    	url = "http://doi.acm.org/10.1145/1568318.1568320",
    	doi = "10.1145/1568318.1568320",
    	timestamp = "Tue, 18 Nov 2014 21:31:20 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/jacm/GottlobMS09",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick and Luc Segoufin.
    Two-variable logic on data trees and XML reasoning.
    J. ACM 56(3), 2009.
    URL, DOI BibTeX

    @article{DBLP:journals/jacm/BojanczykMSS09,
    	author = "Mikolaj Bojanczyk and Anca Muscholl and Thomas Schwentick and Luc Segoufin",
    	title = "Two-variable logic on data trees and {XML} reasoning",
    	journal = "J. {ACM}",
    	year = 2009,
    	volume = 56,
    	number = 3,
    	url = "http://doi.acm.org/10.1145/1516512.1516515",
    	doi = "10.1145/1516512.1516515",
    	timestamp = "Tue, 18 Nov 2014 21:31:15 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/jacm/BojanczykMSS09",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Ahmet Kara, Martin Lange, Thomas Schwentick and Volker Weber.
    On the Hybrid Extension of CTL and CTL+.
    CoRR abs/0906.2541, 2009.
    URL BibTeX

    @article{DBLP:journals/corr/abs-0906-2541,
    	author = "Ahmet Kara and Martin Lange and Thomas Schwentick and Volker Weber",
    	title = "On the Hybrid Extension of {CTL} and {CTL+}",
    	journal = "CoRR",
    	year = 2009,
    	volume = "abs/0906.2541",
    	url = "http://arxiv.org/abs/0906.2541",
    	timestamp = "Tue, 18 Nov 2014 21:31:55 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/abs-0906-2541",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Wouter Gelade, Marcel Marquardt and Thomas Schwentick.
    The Dynamic Complexity of Formal Languages.
    In 26th International Symposium on Theoretical Aspects of Computer Science, STACS 2009, February 26-28, 2009, Freiburg, Germany, Proceedings. 2009, 481–492.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/stacs/GeladeMS09,
    	author = "Wouter Gelade and Marcel Marquardt and Thomas Schwentick",
    	title = "The Dynamic Complexity of Formal Languages",
    	booktitle = "26th International Symposium on Theoretical Aspects of Computer Science, {STACS} 2009, February 26-28, 2009, Freiburg, Germany, Proceedings",
    	year = 2009,
    	pages = "481--492",
    	crossref = "DBLP:conf/stacs/2009",
    	url = "http://dx.doi.org/10.4230/LIPIcs.STACS.2009.1829",
    	doi = "10.4230/LIPIcs.STACS.2009.1829",
    	timestamp = "Tue, 18 Nov 2014 21:31:51 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/stacs/GeladeMS09",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Georg Gottlob, Gianluigi Greco, Zoltán Miklós, Francesco Scarcello and Thomas Schwentick.
    Tree Projections: Game Characterization and Computational Aspects.
    In Graph Theory, Computational Intelligence and Thought, Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday. 2009, 217–226.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/birthday/GottlobGMSS09,
    	author = "Georg Gottlob and Gianluigi Greco and Zolt{\'{a}}n Mikl{\'{o}}s and Francesco Scarcello and Thomas Schwentick",
    	title = "Tree Projections: Game Characterization and Computational Aspects",
    	booktitle = "Graph Theory, Computational Intelligence and Thought, Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday",
    	year = 2009,
    	pages = "217--226",
    	crossref = "DBLP:conf/birthday/2009golumbic",
    	url = "http://dx.doi.org/10.1007/978-3-642-02029-2_21",
    	doi = "10.1007/978-3-642-02029-2_21",
    	timestamp = "Tue, 18 Nov 2014 21:31:41 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/birthday/GottlobGMSS09",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

2008

  1. Christoph Beierle and Gabriele Kern-Isberner.
    Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen (4. Aufl.)
    .
    Vieweg, 2008.
    URL BibTeX

    @book{Beierle2008b,
    	title = "Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen {(4.} Aufl.)",
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
    	publisher = "Vieweg",
    	year = 2008,
    	isbn = "978-3-8348-0504-1",
    	url = "http://www.viewegteubner.de/index.php;do=show/sid=ed580693f2c3bf44840f358450092436/site=v/book_id=16313"
    }
    

  1. Christoph Beierle and Gabriele Kern-Isberner.
    On the Modelling of an Agent's Epistemic State and its Dynamic Changes.
    ECEASST 12, 2008.
    URL BibTeX

    @article{Beierle2008,
    	title = "On the Modelling of an Agent's Epistemic State and its Dynamic Changes",
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
    	journal = "{ECEASST}",
    	year = 2008,
    	volume = 12,
    	url = "http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/234"
    }
    

  1. Holger Danielsiek, Christian Eichhorn, Tobias Hein, Edina Kurtic, Georg Neugebauer, Nico Piatkowski, Jan Quadflieg, Sebastian Schnelker, Raphael Stüer, Andreas Thom and Simon Wessing.
    PG511 - CI in Games - Final Report.
    Technische Universität Dortmund, 2008.
    PDF BibTeX

    @techreport{pg511_2008,
    	author = {Danielsiek, Holger AND Eichhorn, Christian AND Hein, Tobias AND Kurtic, Edina AND Neugebauer, Georg AND Piatkowski, Nico AND Quadflieg, Jan AND Schnelker, Sebastian AND St\"uer, Raphael AND Thom, Andreas AND Wessing, Simon},
    	title = "PG511 - CI in Games - Final Report",
    	institution = {Technische Universit\"at Dortmund},
    	year = 2008,
    	address = "Dortmund",
    	series = "CI 252/08, SFB 531",
    	pdf = "http://sfbci.uni-dortmund.de/Publications/Reference/Downloads/25208.pdf"
    }
    

  1. N Beume, H Danielsiek, C Eichhorn, B Naujoks, M Preuss, K Stiller and S Wessing.
    Measuring flow as concept for detecting game fun in the Pac-Man game.
    In Evolutionary Computation, 2008. CEC 2008. (IEEE World Congress on Computational Intelligence). IEEE Congress on. Juni 2008, 3448 -3455.
    URL BibTeX

    @inproceedings{pg511_pacman_2008,
    	author = "Beume, N. and Danielsiek, H. and Eichhorn, C. and Naujoks, B. and Preuss, M. and Stiller, K. and Wessing, S.",
    	booktitle = "Evolutionary Computation, 2008. CEC 2008. (IEEE World Congress on Computational Intelligence). IEEE Congress on",
    	title = "Measuring flow as concept for detecting game fun in the Pac-Man game",
    	year = 2008,
    	month = "june",
    	pages = "3448 -3455",
    	url = "http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=4631264"
    }
    

  1. Patrick Krümpelmann and Gabriele Kern-Isberner.
    Propagating Credibility in Answer Set Programs.
    In Sibylle Schwarz (ed.). Proceedings of the 22nd Workshop on (Constraint) Logic Programming (WLP'08). 2008.
    BibTeX

    @inproceedings{kruempelmann2008wlp,
    	author = {Patrick Kr{\"u}mpelmann and Gabriele Kern-Isberner},
    	booktitle = "Proceedings of the 22nd Workshop on (Constraint) Logic Programming ({WLP}'08)",
    	date-added = "2014-11-18 12:00:31 +0000",
    	date-modified = "2014-11-18 12:00:31 +0000",
    	editor = "Sibylle Schwarz",
    	keywords = "logic programming, update, own, daad_ppp2010_ger5",
    	organization = {Martin-Luther-Universit{\"a}t Halle-Wittenberg, Germany},
    	read = "Yes",
    	series = "Technische Berichte",
    	title = "Propagating Credibility in Answer Set Programs",
    	year = 2008,
    	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YW8QZQAuAC4ALwAuAC4ALwAuAC4ALwAuAC4ALwBzAHYAbgBzAC8AYQBuAGcAZQByAG8AbgBhAC8AZABvAGMAdQBtAGUAbgB0AGEAdABpAG8AbgAvAGIAaQBiAGwAaQBvAGcAcgBhAHAAaAB5AC8AYgBpAGIAZABlAHMAawAtAHAAYQBwAGUAcgAvAGsAcgB1AwgAbQBwAGUAbABtAGEAbgBuAC8AawByAHUDCABtAHAAZQBsAG0AYQBuAG4AMgAwADAAOABiAC4AcABkAGbSFwsYGVdOUy5kYXRhTxECVAAAAAACVAACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAykEGDEgrAAAAuMUlFGtyn21wZWxtYW5uMjAwOGIucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAC4xSfPn+lOAAAAAAAAAAAABAAHAAAJIAAAAAAAAAAAAAAAAAAAAAtrcp9tcGVsbWFubgAAEAAIAADKQOnsAAAAEQAIAADPn80uAAAAAQAoALjFJQC4xBgAt6WbAHUQzABwFJMAcBRkAAVe3AAFFdIABRTMAAC+7AACAItNYWNpbnRvc2ggSEQ6VXNlcnM6AHBhdHM6AERvY3VtZW50czoAbXlTdHVmZjoAc3ZuczoAYW5nZXJvbmE6AGRvY3VtZW50YXRpb246AGJpYmxpb2dyYXBoeToAYmliZGVzay1wYXBlcjoAa3KfbXBlbG1hbm46AGtyn21wZWxtYW5uMjAwOGIucGRmAAAOACwAFQBrAHIAdQMIAG0AcABlAGwAbQBhAG4AbgAyADAAMAA4AGIALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAHhVc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rcnXMiG1wZWxtYW5uL2tydcyIbXBlbG1hbm4yMDA4Yi5wZGYAEwABLwAAFQACAAv//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgFbAWABaAPAA8IDxwPSA9sD6QPtA/QD/QQCBA8EEgQkBCcELAAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAQu"
    }
    

  1. Christoph Beierle and Gabriele Kern-Isberner.
    A Verified AsmL Implementation of Belief Revision.
    In Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings. 2008, 98–111.
    URL, DOI BibTeX

    @inproceedings{Beierle2008a,
    	title = "A Verified AsmL Implementation of Belief Revision",
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
    	booktitle = "Abstract State Machines, {B} and Z, First International Conference, {ABZ} 2008, London, UK, September 16-18, 2008. Proceedings",
    	year = 2008,
    	pages = "98--111",
    	doi = "10.1007/978-3-540-87603-8_9",
    	url = "http://dx.doi.org/10.1007/978-3-540-87603-8_9"
    }
    

  1. Patrick Krümpelmann, Matthias Thimm, Manuela Ritterskamp and Gabriele Kern-Isberner.
    Belief Operations for Motivated BDI Agents.
    In Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems 2008 (AAMAS '08). 2008.
    BibTeX

    @inproceedings{kruempelmann08,
    	author = {Patrick Kr{\"u}mpelmann and Matthias Thimm and Manuela Ritterskamp and Gabriele Kern-Isberner},
    	booktitle = "Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems 2008 (AAMAS '08)",
    	date-added = "2014-11-18 12:00:31 +0000",
    	date-modified = "2014-11-18 12:00:31 +0000",
    	keywords = "mas, logic programming, bdi, motivation, own",
    	title = "Belief Operations for Motivated {BDI} Agents",
    	year = 2008,
    	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YW8QZAAuAC4ALwAuAC4ALwAuAC4ALwAuAC4ALwBzAHYAbgBzAC8AYQBuAGcAZQByAG8AbgBhAC8AZABvAGMAdQBtAGUAbgB0AGEAdABpAG8AbgAvAGIAaQBiAGwAaQBvAGcAcgBhAHAAaAB5AC8AYgBpAGIAZABlAHMAawAtAHAAYQBwAGUAcgAvAGsAcgB1AwgAbQBwAGUAbABtAGEAbgBuAC8AawByAHUDCABtAHAAZQBsAG0AYQBuAG4AMgAwADAAOAAuAHAAZABm0hcLGBlXTlMuZGF0YU8RAlAAAAAAAlAAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMpBBgxIKwAAALjFJRNrcp9tcGVsbWFubjIwMDgucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAxUGtz/aZ3gAAAAAAAAAAAAQABwAACSAAAAAAAAAAAAAAAAAAAAALa3KfbXBlbG1hbm4AABAACAAAykDp7AAAABEACAAAz/Z9vgAAAAEAKAC4xSUAuMQYALelmwB1EMwAcBSTAHAUZAAFXtwABRXSAAUUzAAAvuwAAgCKTWFjaW50b3NoIEhEOlVzZXJzOgBwYXRzOgBEb2N1bWVudHM6AG15U3R1ZmY6AHN2bnM6AGFuZ2Vyb25hOgBkb2N1bWVudGF0aW9uOgBiaWJsaW9ncmFwaHk6AGJpYmRlc2stcGFwZXI6AGtyn21wZWxtYW5uOgBrcp9tcGVsbWFubjIwMDgucGRmAA4AKgAUAGsAcgB1AwgAbQBwAGUAbABtAGEAbgBuADIAMAAwADgALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAHdVc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rcnXMiG1wZWxtYW5uL2tydcyIbXBlbG1hbm4yMDA4LnBkZgAAEwABLwAAFQACAAv//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgFZAV4BZgO6A7wDwQPMA9UD4wPnA+4D9wP8BAkEDAQeBCEEJgAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAQo"
    }
    

  1. Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick and Victor Vianu (eds.).
    Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04. - 25.04.2008

    08171. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2008.
    URL BibTeX

    @proceedings{DBLP:conf/dagstuhl/2008P8171,
    	editor = {Anca Muscholl and Ramaswamy Ramanujam and Micha{\"{e}}l Rusinowitch and Thomas Schwentick and Victor Vianu},
    	title = "Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04. - 25.04.2008",
    	series = "Dagstuhl Seminar Proceedings",
    	volume = 08171,
    	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
    	year = 2008,
    	url = "http://drops.dagstuhl.de/portals/08171/",
    	timestamp = "Tue, 07 Apr 2015 19:23:45 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/dagstuhl/2008P8171",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  1. Henrik Björklund, Wim Martens and Thomas Schwentick.
    Optimizing Conjunctive Queries over Trees Using Schema Information.
    In Edward Ochmanski and Jerzy Tyszkiewicz (eds.). Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings 5162. 2008, 132–143.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/mfcs/BjorklundMS08,
    	author = {Henrik Bj{\"{o}}rklund and Wim Martens and Thomas Schwentick},
    	editor = "Edward Ochmanski and Jerzy Tyszkiewicz",
    	title = "Optimizing Conjunctive Queries over Trees Using Schema Information",
    	booktitle = "Mathematical Foundations of Computer Science 2008, 33rd International Symposium, {MFCS} 2008, Torun, Poland, August 25-29, 2008, Proceedings",
    	series = "Lecture Notes in Computer Science",
    	volume = 5162,
    	pages = "132--143",
    	publisher = "Springer",
    	year = 2008,
    	url = "https://doi.org/10.1007/978-3-540-85238-4\_10",
    	doi = "10.1007/978-3-540-85238-4\_10",
    	timestamp = "Tue, 14 May 2019 10:00:37 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/mfcs/BjorklundMS08",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  1. Thomas Schwentick.
    A Little Bit Infinite? On Adding Data to Finitely Labelled Structures (Abstract).
    In Susanne Albers and Pascal Weil (eds.). STACS 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings 1. 2008, 17–18.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/stacs/Schwentick08,
    	author = "Thomas Schwentick",
    	editor = "Susanne Albers and Pascal Weil",
    	title = "A Little Bit Infinite? On Adding Data to Finitely Labelled Structures (Abstract)",
    	booktitle = "{STACS} 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings",
    	series = "LIPIcs",
    	volume = 1,
    	pages = "17--18",
    	publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany",
    	year = 2008,
    	url = "https://doi.org/10.4230/LIPIcs.STACS.2008.1325",
    	doi = "10.4230/LIPIcs.STACS.2008.1325",
    	timestamp = "Thu, 23 Aug 2018 15:56:39 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/stacs/Schwentick08",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  1. Wim Martens, Frank Neven and Thomas Schwentick.
    Deterministic top-down tree automata: past, present, and future.
    In Jörg Flum, Erich Grädel and Thomas Wilke (eds.). Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]. 2. 2008, 505–530.
    BibTeX

    @inproceedings{DBLP:conf/birthday/MartensNS08,
    	author = "Wim Martens and Frank Neven and Thomas Schwentick",
    	editor = {J{\"{o}}rg Flum and Erich Gr{\"{a}}del and Thomas Wilke},
    	title = "Deterministic top-down tree automata: past, present, and future",
    	booktitle = "Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas].",
    	series = "Texts in Logic and Games",
    	volume = 2,
    	pages = "505--530",
    	publisher = "Amsterdam University Press",
    	year = 2008,
    	timestamp = "Wed, 15 Dec 2010 22:16:39 +0100",
    	biburl = "https://dblp.org/rec/bib/conf/birthday/MartensNS08",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }