Towards an Application of Update Propagation on Logic Programs Representing Java Source Code - Richard Tantius; Daniel Speicher; Andreas Behrend (CoRR, 2013)