Aduri Pavan Alan L. Selman 906-918 2001 31 SIAM J. Comput. 3 https://doi.org/10.1137/S0097539701387039 db/journals/siamcomp/siamcomp31.html#PavanS01