Lange04'

BibTeX

@inproceedings{DBLP:conf/aiml/Lange04,
  author    = {Martin Lange},
  title     = {A Lower Complexity Bound for Propositional Dynamic Logic
               with Intersection},
  booktitle = {Advances in Modal Logic},
  year      = {2004},
  pages     = {133-147},
  ee        = {http://www.aiml.net/volumes/volume5/Lange.ps},
  crossref  = {DBLP:conf/aiml/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aiml/2004,
  editor    = {Renate A. Schmidt and
               Ian Pratt-Hartmann and
               Mark Reynolds and
               Heinrich Wansing},
  title     = {Advances in Modal Logic 5, papers from the fifth conference
               on "Advances in Modal logic," held in Manchester (UK) in
               September 2004},
  booktitle = {Advances in Modal Logic},
  publisher = {King's College Publications},
  year      = {2005},
  isbn      = {1-904987-22-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}