"Mining library specifications using inductive logic programming."

Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics