Lionel Paris Richard Ostrowski Pierre Siegel Lakhdar Sais From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets. 105-117 2007 MICAI http://dx.doi.org/10.1007/978-3-540-76631-5_11 db/conf/micai/micai2007.html#ParisOSS07