@misc{LH22, 
  author       = "Linh Anh Nguyen",
  title        = "Foundations of Modal Logic Programming: The Direct Approach",
  howpublished = "Manuscript (release 2.2), available at 
                  \url{http://www.mimuw.edu.pl/~nguyen/papers.html}",
  year         = "November 2006 (last revised May 2010)"
}