@article {major91domain,
	title = {Domain Generating Functions for Solving Constraint Satisfaction Problems},
	journal = {Journal of Functional Programming},
	volume = {1},
	number = {2},
	year = {1991},
	month = {apr},
	pages = {213-227},
	author = {Major, F. and Guy Lapalme and Cedergren, R.}
}
