BibTex format
@inproceedings{Alrajeh:2012:10.1007/978-3-642-31951-8_9,
author = {Alrajeh, D and Russo, A and Uchitel, S and Kramer, J},
doi = {10.1007/978-3-642-31951-8_9},
pages = {45--60},
title = {Integrating model checking and inductive logic programming},
url = {http://dx.doi.org/10.1007/978-3-642-31951-8_9},
year = {2012}
}