Functional elimination and 0/1/All constraints - Zhang, Yuanlin (2013)
Proceedings of the National Conference on Artificial Intelligence