Anja Remshagen Klaus Truemper An Effective Algorithm for the Futile Questioning Problem. 31-47 2005 34 J. Autom. Reasoning 1 http://dx.doi.org/10.1007/s10817-005-0981-8 db/journals/jar/jar34.html#RemshagenT05