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. (2006). Applications of hierarchical reasoning in the verification of complex systems. In B. Cook, & R. Sebastiani (Eds.), PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning (pp. 15-26).