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