Tor: Modular search with hookable disjunction. - Schrijvers, Tom; Demoen, Bart; Triska, Markus; Desouter, Benoit (Science of Computer Programming, 2014)