@STRING{JLC   = "J. Log. Comput."}
@STRING{ENTCS = "ENTCS"}
@STRING{JSL   = "J. Symb. Log."}
@STRING{JPhL  = "J. Philos. Log."}
@STRING{AI    = "Artif. Intell."}
@STRING{LNCS  = "LNCS"}
@STRING{LNAI  = "LNCS"}
@STRING{TCS   = "Theor. Comput. Sci."}
@STRING{NDJFL = "Notre Dame J. Form. Log."}
@STRING{IGPL  = "L. J. IGPL"}
@STRING{JAR   = "J. Autom. Reasoning"}
@STRING{JAL   = "J. Appl. Log."}
@STRING{FM    = "Fund. Math."}
@STRING{IC    = "Inf. Comput."}
@STRING{FM    = "Fund. Math."}
@STRING{ZMLGM = "Z. Math. Logik Grundlagen Math."}
@STRING{APhF  = "Acta Philos. Fenn."}
... is the standard abbreviation, but let's be more explicit
@STRING{APhF  = "Acta Philosophica Fennica"}
@STRING{JoLLI = "J. Log. Lang. Inf."}
@STRING{AMAI  = "Ann. Math. Artif. Intell."}
@STRING{APIN  = "Appl. Intell."}
@STRING{BEATCS  = "Bull. EATCS"}
@STRING{JACM  = "J. ACM"}
@STRING{DKE   = "Data Knowl. Eng."}
@STRING{JANCL = "J. Appl. Non-Class. Log."}
@STRING{SL    = "Stud. Log."}

@STRING{SHOIQ = "$\mathcal{SHOIQ}$"}
@STRING{SOQ = "$\mathcal{SOQ}$"}
@STRING{SROIQ = "$\mathcal{SROIQ}$"}
@STRING{SHOQD = "$\mathcal{SHOQ}(\mathrm{D})$"}
@STRING{ALC   = "$\mathcal{ALC}$"}

@INPROCEEDINGS{HollunderBaader91Proc,
author = "Bernhard Hollunder and Franz Baader",
title = "Qualifying Number Restrictions in Concept Languages",
editor = "James Allen and Richard Fikes and Erik Sandewall",
booktitle = "{KR}'91",
publisher = "Morgan Kaufmann",
pages = "335--346",
year = 1991 }

@INPROCEEDINGS{Baader91,
author = "Franz Baader",
title = "Augmenting Concept Languages by Transitive Closure of Roles:
An Alternative to Terminological Cycles",
pages = "446--451",
crossref = "IJCAI91" }

@INPROCEEDINGS{Schild91,
author = "Klaus Schild",
title = "A Correspondence Theory for Terminological Logics: Preliminary Report",
pages = "466--471",
crossref = "IJCAI91" }

@PROCEEDINGS{IJCAI91,
title = "IJCAI'91",
editor = "John Mylopoulos and Raymond Reiter",
publisher = "Morgan Kaufmann",
year = 1991 }

@ARTICLE{DeGiacomoMassacci00,
author = "Giuseppe {De Giacomo} and Fabio Massacci",
title = "Combining Deduction and Model Checking into Tableaux and Algorithms
for Converse-{PDL}",
journal = IC,
volume = 162,
number = "1--2",
pages = "117--137",
year = 2000 }

@ARTICLE{StirlingWalker91,
author = "Colin Stirling and David Walker",
title = "Local Model Checking in the Modal mu-Calculus",
journal = TCS,
volume = 89,
number = 1,
pages = "161--177",
year = 1991 }

@ARTICLE{SSS91,
author = "Manfred Schmidt-Schau{\ss} and Gert Smolka",
title = "Attributive Concept Descriptions with Compliments",
journal = AI,
volume = 48,
number = 1,
pages = "1--26",
year = 1991 }

@ARTICLE{vanDerHoekDeRijke95,
author = "Wiebe van der Hoek and Maarten de Rijke",
title = "Counting Objects",
journal = JLC,
volume = 5,
number = 3,
pages = "325--345",
year = 1995 }

@ARTICLE{FattorosiBarnabaDeCaro85,
author = "Maurizio Fattorosi-Barnaba and Francesco {De Caro}",
title = "Graded Modalities {I}",
journal = SL,
volume = 44,
number = 2,
pages = "197--221",
year = 1985 }

@ARTICLE{Fine72,
author = "Kit Fine",
title = "In So Many Possible Worlds",
journal = NDJFL,
volume = 13,
number = 4,
pages = "516--520",
year = 1972 }

@INPROCEEDINGS{HorrocksEtAl06,
author = "Ian Horrocks and Oliver Kutz and Ulrike Sattler",
title = "The Even More Irresistible " # SROIQ,
booktitle = "KR 2006",
editor = "Patrick Doherty and John Mylopoulos and Christopher A. Welty",
publisher = "{AAAI} Press",
pages = "57--67",
year = 2006 }

@ARTICLE{HorrocksSattler99,
author = "Ian Horrocks and Ulrike Sattler",
title = "A Description Logic with Transitive and Inverse Roles and Role
 Hierarchies",
journal = JLC,
volume = 9,
number = 3,
pages = "385--410",
year = 1999 }

@TECHREPORT{HorrocksSattlerTobies98,
title = "A \textsc{PSpace}-Algorithm for Deciding
 $\mathcal{ALCNI}_{R^+}$-Satisfiability",
author = "Ian Horrocks and Ulrike Sattler and Stephan Tobies",
type = "Technical Report",
number = "LTCS-98-08",
institution = "RWTH Aachen",
address = "Germany",
year = 1998 }

@INPROCEEDINGS{HorrocksSattler01,
author = "Ian Horrocks and Ulrike Sattler",
title = "Ontology Reasoning in the " # SHOQD #" Description Logic",
editor = "Bernhard Nebel",
booktitle = "{IJCAI} 2001",
pages = "199-204",
publisher = "Morgan Kaufmann",
year = 2001 }

@ARTICLE{HorrocksSattler07,
author = "Ian Horrocks and Ulrike Sattler",
title = "A Tableau Decision Procedure for " # SHOIQ,
journal = JAR,
volume = 39,
number = 3,
pages = "249--276",
year = 2007 }

@INPROCEEDINGS{HorrocksSattlerTobies99,
author = "Ian Horrocks and Ulrike Sattler and Stephan Tobies",
title = "Practical Reasoning for Expressive Description Logics",
booktitle = "{LPAR}'99",
editor = "Harald Ganzinger and David A. McAllester and Andrei Voronkov",
publisher = "Springer",
series = LNAI,
volume = 1705,
pages = "161--180",
year = 1999 }

@ARTICLE{HorrocksSattlerTobies00,
author = "Ian Horrocks and Ulrike Sattler and Stephan Tobies",
title = "Practical Reasoning for Very Expressive Description Logics",
journal = IGPL,
volume = 8,
number = 3,
pages = "239--263",
year = 2000 }

@INPROCEEDINGS{KaminskiSmolkaM4M07,
author = "Mark Kaminski and Gert Smolka",
title = "Hybrid Tableaux for the Difference Modality",
booktitle = "{M4M-5}",
editor = "Carlos Areces and St{\'e}phane Demri",
series = ENTCS,
volume = 231,
pages = "241--257",
publisher = "Elsevier",
year = 2009 }

@ARTICLE{KaminskiSmolkaJoLLI,
author = "Mark Kaminski and Gert Smolka",
title = "Terminating Tableau Systems for Hybrid Logic with Difference and
 Converse",
journal = JoLLI,
volume = 18,
number = 4,
pages = "437--464",
year = 2009 }

@INPROCEEDINGS{KaminskiEtAlTableaux09,
author = "Mark Kaminski and Sigurd Schneider and Gert Smolka",
title = "Terminating Tableaux for Graded Hybrid Logic with Global Modalities
and Role Hierarchies",
editor = "Martin Giese and Arild Waaler",
booktitle = "TABLEAUX 2009",
series = LNAI,
volume = 5607,
pages = "235--249",
publisher = "Springer",
year = 2009 }

@INPROCEEDINGS{KaminskiSmolkaDL09,
author = "Mark Kaminski and Gert Smolka",
title = "Terminating Tableaux for " # SOQ # " with Number Restrictions on Transitive
Roles",
editor = "Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike
 Sattler",
booktitle = "{DL} 2009",
volume = 477,
series = "{CEUR} Workshop Proceedings",
year = 2009 }

@INPROCEEDINGS{KazakovEtAl07,
author = "Yevgeny Kazakov and Ulrike Sattler and Evgeny Zolin",
title = "How Many Legs Do {I} Have? {N}on-Simple Roles in Number Restrictions
 Revisited",
booktitle = "LPAR 2007",
editor = "Nachum Dershowitz and Andrei Voronkov",
series = LNCS,
volume = 4790,
pages = "303--317",
publisher = "Springer",
year = 2007 }

@INPROCEEDINGS{KazakovPrattHartmann09,
author = {Yevgeny Kazakov and Ian Pratt-Hartmann},
title = {A Note on the Complexity of the Satisfiability Problem for Graded
 Modal Logics},
booktitle = {{LICS} 2009},
pages = {407-416},
publisher = {{IEEE} Computer Society},
year = 2009 }

@INPROCEEDINGS{Sattler00,
author = {Ulrike Sattler},
title = {Description Logics for the Representation of Aggregated Objects},
editor = {Werner Horn},
booktitle = {{ECAI} 2000},
pages = {239-243},
publisher = {IOS Press},
year = 2000 }

@INPROCEEDINGS{SchroederPattinson08,
author = "Lutz Sch{\"o}der and Dirk Pattinson",
title = "How Many Toes Do {I} Have? {P}arthood and Number Restrictions in
 Description Logics",
editor = "Gerhard Brewka and J\'er\^ome Lang",
booktitle = "KR 2008",
publisher = "{AAAI} Press",
pages = "307--317",
year = 2008 }