upercompiling java programs, 2002. BHO5. Sebastian Bader and Pascal Hitzler. Dimensions of neural-symbolic integration - a structured survey. In 8S. Artemov, H. Barringer, A. 5. d’Avila Garcez, L. C. Lamb, and J. Woods., edi- tors, We Will Show Them: Essays in Honour of Dov Gabbay, volume 1, pages 167-194