Solving Queries for Boolean Fault Tree Logic via Quantified SAT. - Caz Saaltink; Stefano M. Nicoletti; Matthias Volk 001; Ernst Moritz Hahn; Mariëlle Stoelinga (FTSCS, 2023)