Rina Dechter, Robert Mateescu: The Impact of AND/OR Search Spaces on Constraint Satisfaction and Counting. CP 2004: 731-736