No pages link to File:Backes Riedel The Synthesis of Cyclic Dependencies with Boolean Satisfiability.pdf.