@inproceedings(nguyen05bsmm, 
  author    = {Linh Anh Nguyen},
  title     = {An {SLD}-Resolution Calculus for Basic Serial Multimodal Logics},
  booktitle = {Proceedings of ICTAC 2005, LNCS 3722}, 
  editor    = {D.V. Hung and M. Wirsing},
  publisher = {Springer},
  pages     = {151-165}, 
  year      = 2005)