Jacobs, Swen Automation of Logic, MPI for Informatics, Max Planck Society;
Jacobs, S. (2009). Incremental Instance Generation in Local Reasoning. In A. Bouajjani, & O. Maler (Eds.), Computer Aided Verification (pp. 368-382). Berlin: Springer.