@inproceedings{CalvaneseEtAl2007ProofTheory,
   title = "{A Proof Theory for DL-Lite}",
   year = "2007",
   author = "Diego Calvanese and Evgeny Kharlamov and Werner Nutt",
   booktitle = "Proc.\ {DL} Workshop",
   address = "{Brixen, Italy}",
  note={Conference without formal proceedings},
}