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. Christian Eichhorn.
    Automatische Duplikatserkennung: Ähnliche Texte entdecken und erkennen
    .
    Der Andere Verlag, 2009.
    URL BibTeX

    @book{eichhorn2009,
    	author = "Christian Eichhorn",
    	title = {Automatische {D}uplikatserkennung: {\"A}hnliche {T}exte entdecken und erkennen},
    	publisher = "Der {A}ndere {V}erlag",
    	address = {T\"onning},
    	url = "http://www.amazon.de/Automatische-Duplikatserkennung-Ähnliche-entdecken-erkennen/dp/389959925X/",
    	year = 2009
    }
    

  1. Christoph Beierle and Gabriele Kern-Isberner.
    A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations.
    In KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings. 2009, 273–280.
    URL, DOI BibTeX

    @inproceedings{Beierle2009,
    	title = "A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations",
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
    	booktitle = "{KI} 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings",
    	year = 2009,
    	pages = "273--280",
    	doi = "10.1007/978-3-642-04617-9_35",
    	url = "http://dx.doi.org/10.1007/978-3-642-04617-9_35"
    }
    

  1. Christoph Beierle and Gabriele Kern-Isberner.
    Formal similarities and differences among qualitative conditional semantics.
    Int. J. Approx. Reasoning 50(9):1333–1346, 2009.
    URL, DOI BibTeX

    @article{Beierle2009a,
    	title = "Formal similarities and differences among qualitative conditional semantics",
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
    	journal = "Int. J. Approx. Reasoning",
    	year = 2009,
    	number = 9,
    	pages = "1333--1346",
    	volume = 50,
    	doi = "10.1016/j.ijar.2009.04.006",
    	url = "http://dx.doi.org/10.1016/j.ijar.2009.04.006"
    }
    

  1. Matthias Thimm and Patrick Krümpelmann.
    Know-How for Motivated BDI Agents (Extended Abstract).
    In Decker, Sichman, Sierra and Castelfranchi (eds.). Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'09). 2009.
    BibTeX

    @inproceedings{Thimm:2009,
    	author = {Matthias Thimm and Patrick Kr{\"u}mpelmann},
    	booktitle = "Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems ({AAMAS}'09)",
    	date-added = "2014-11-18 12:00:31 +0000",
    	date-modified = "2014-11-18 12:00:31 +0000",
    	editor = "Decker and Sichman and Sierra and Castelfranchi",
    	keywords = "own",
    	month = "May, 10--15",
    	title = "Know-How for Motivated {BDI} Agents (Extended Abstract)",
    	year = 2009,
    	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QVi4uLy4uLy4uLy4uL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci90aGltbS90aGltbTIwMDkucGRm0hcLGBlXTlMuZGF0YU8RAiAAAAAAAiAAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMpBBgxIKwAAALjFtQ10aGltbTIwMDkucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAuMW2z5/pVAAAAAAAAAAAAAQABwAACSAAAAAAAAAAAAAAAAAAAAAFdGhpbW0AABAACAAAykDp7AAAABEACAAAz5/NNAAAAAEAKAC4xbUAuMQYALelmwB1EMwAcBSTAHAUZAAFXtwABRXSAAUUzAAAvuwAAgB+TWFjaW50b3NoIEhEOlVzZXJzOgBwYXRzOgBEb2N1bWVudHM6AG15U3R1ZmY6AHN2bnM6AGFuZ2Vyb25hOgBkb2N1bWVudGF0aW9uOgBiaWJsaW9ncmFwaHk6AGJpYmRlc2stcGFwZXI6AHRoaW1tOgB0aGltbTIwMDkucGRmAA4AHAANAHQAaABpAG0AbQAyADAAMAA5AC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgBnVXNlcnMvcGF0cy9Eb2N1bWVudHMvbXlTdHVmZi9zdm5zL2FuZ2Vyb25hL2RvY3VtZW50YXRpb24vYmlibGlvZ3JhcGh5L2JpYmRlc2stcGFwZXIvdGhpbW0vdGhpbW0yMDA5LnBkZgAAEwABLwAAFQACAAv//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgDnAOwA9AMYAxoDHwMqAzMDQQNFA0wDVQNaA2cDagN8A38DhAAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAOG"
    }
    

  1. Matthias Thimm and Patrick Krümpelmann.
    Know-How for Motivated BDI Agents (Extended Version).
    Number 822, Technische Universität Dortmund, Department of Computer Science, Februar 2009.
    BibTeX

    @techreport{Thimm:2009a,
    	author = {Matthias Thimm and Patrick Kr{\"u}mpelmann},
    	date-added = "2014-11-18 12:00:31 +0000",
    	date-modified = "2014-11-18 12:00:31 +0000",
    	institution = {Technische Universit{\"a}t Dortmund, Department of Computer Science},
    	keywords = "own",
    	month = "February",
    	number = 822,
    	title = "Know-How for Motivated {BDI} Agents (Extended Version)",
    	year = 2009,
    	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QVy4uLy4uLy4uLy4uL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci90aGltbS90aGltbTIwMDlhLnBkZtIXCxgZV05TLmRhdGFPEQIkAAAAAAIkAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAADKQQYMSCsAAAC4xbUOdGhpbW0yMDA5YS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAALjFt8+f6VQAAAAAAAAAAAAEAAcAAAkgAAAAAAAAAAAAAAAAAAAABXRoaW1tAAAQAAgAAMpA6ewAAAARAAgAAM+fzTQAAAABACgAuMW1ALjEGAC3pZsAdRDMAHAUkwBwFGQABV7cAAUV0gAFFMwAAL7sAAIAf01hY2ludG9zaCBIRDpVc2VyczoAcGF0czoARG9jdW1lbnRzOgBteVN0dWZmOgBzdm5zOgBhbmdlcm9uYToAZG9jdW1lbnRhdGlvbjoAYmlibGlvZ3JhcGh5OgBiaWJkZXNrLXBhcGVyOgB0aGltbToAdGhpbW0yMDA5YS5wZGYAAA4AHgAOAHQAaABpAG0AbQAyADAAMAA5AGEALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAGhVc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci90aGltbS90aGltbTIwMDlhLnBkZgATAAEvAAAVAAIAC///AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOAOgA7QD1Ax0DHwMkAy8DOANGA0oDUQNaA18DbANvA4EDhAOJAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAA4s="
    }
    

  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"
    }
    

2007

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

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

  1. Henrik Björklund, Wim Martens and Thomas Schwentick.
    Conjunctive query containment over trees.
    J. Comput. Syst. Sci. 77(3):450–472, 2011.
    URL, DOI BibTeX

    @article{DBLP:journals/jcss/BjorklundMS11,
    	author = {Henrik Bj{\"{o}}rklund and Wim Martens and Thomas Schwentick},
    	title = "Conjunctive query containment over trees",
    	journal = "J. Comput. Syst. Sci.",
    	year = 2011,
    	volume = 77,
    	number = 3,
    	pages = "450--472",
    	url = "http://dx.doi.org/10.1016/j.jcss.2010.04.005",
    	doi = "10.1016/j.jcss.2010.04.005",
    	timestamp = "Tue, 18 Nov 2014 21:29:00 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/jcss/BjorklundMS11",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }