@InProceedings{	  jalini11a,
  author	= "T. Janhunen and G. Liu and I. Niemelä",
  title		= "Tight Integration of Non-Ground Answer Set Programming and
		  Satisfiability Modulo Theories",
  crossref	= "gttv11",
  pages		= "1-13"
}