@article{GaspersSzeider14,
 author = {Gaspers, Serge and Szeider, Stefan},
 doi = {10.1016/j.artint.2014.06.006},
 journal = {Artificial Intelligence},
 pages = {1-19},
 title = {Guarantees and limits of preprocessing in constraint
satisfaction and reasoning},
 volume = {216},
 year = {2014}
}