Cimadamoreand Viroli. A Prolog-oriented Extension of Java Programming Based on Generics and Annotations. ACM Press, 2007, doi:10.1145/1294325.1294352.