On the compilation of programs into their equivalent constraint representation - Wotawa, Franz (Informatica (Ljubljana), 2008)
Keywords: računalniški programi; preizkušanje; razhroščevanje