Extending ALCQ With Bounded Self-Reference (bibtex)
by Daniel Gorín and Lutz Schröder
Reference:
Daniel Gorín and Lutz Schröder: Extending ALCQ With Bounded Self-Reference, In Silvio Ghilardi, Lawrence Moss, eds.: Proc. Advances in Modal Logic 2012, AiML 2012, College Publications, 2012. To appear [preprint]
Bibtex Entry:
@InProceedings{GorinSchroder12b,
  author = 	 {Daniel Gor{\'i}n and Lutz Schr{\"o}der},
  title = 	 {Extending {ALCQ} With Bounded Self-Reference},
  booktitle =	 {Proc. Advances in Modal Logic 2012, AiML 2012},
  OPTpages = 	 {},
  year =	 {2012},
  editor =	 {Silvio Ghilardi and Lawrence Moss},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher =	 {College Publications},
  note =	 {To appear},
  comment = { <a href = "http://www8.informatik.uni-erlangen.de/~schroeder/papers/ALCQme2.pdf"> [preprint] </a>},
}
Powered by bibtexbrowser