Jansen, B. On Structural Parameterizations of Hitting Set: Hitting Paths in Graphs Using 2-SAT. JGAA 2017, 21, 219-243.