@inproceedings{SAC-2007-DjelloulDF,
	author        = "Khalil Djelloul and Thi-Bich-Hanh Dao and Thom W. Frühwirth",
	booktitle     = "{Proceedings of the 22nd Symposium on Applied Computing}",
	doi           = "10.1145/1244002.1244016",
	editor        = "Yookun Cho and Roger L. Wainwright and Hisham Haddad and Sung Y. Shin and Yong Wan Koo",
	isbn          = "1-59593-480-4",
	pages         = "58--64",
	publisher     = "{ACM}",
	title         = "{Toward a first-order extension of Prolog’s unification using CHR: a CHR first-order constraint solver over finite or infinite trees}",
	year          = 2007,
}