ÁLVEZ GIMÉNEZ, Javier (2008) A transformational approach to constructive negation in constraint normal logic programming. PhD thesis, UPV/EHU.