@techreport{jl_2007/alc_learning_algorithm_techreport,
	title = " A Refinement Operator Based Learning Algorithm for the {ALC} Description Logic",
	author = "Jens Lehmann and Pascal Hitzler",
	institution = " Universit{\"a}t Leipzig",
	year = "2007",
	note = "An extended version including proofs of the ILP 2007 article with the same title.",
}

Please send me an email if the BibTeX export is incorrect/incomplete.