Two type extensions for the constraint modeling language MiniZinc - Caballero, Rafael; Stuckey, Peter J; Tenorio-Fornes, Antonio (SCIENCE OF COMPUTER PROGRAMMING, 2015)