Jacobs, Swen Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Jacobs, S., & Sofronie-Stokkermans, V. (2007). Applications of hierarchical reasoning in the verification of complex systems. Electronic Notes in Theoretical Computer Science, 174(8), 39-54. doi:10.1016/j.entcs.2006.11.038.