@inproceedings(nguyen06jelia, 
  author    = {Linh Anh Nguyen},
  title     = {A Bottom-up Method for the Deterministic {Horn} Fragment of 
               the Description Logic {ALC}}, 
  booktitle = {Proceedings of JELIA 2006, LNAI 4160}, 
  editor    = {M. Fisher et al.},
  publisher = {Springer-Verlag},
  pages     = {346-358}, 
  year      = 2006)