Finite type extensions in constraint programming - Caballero R; Stuckey PJ; Tenorio-Fornés A (Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013, 2013)