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).