A transformational approach to constructive negation in constraint normal logic programming

Tesis doctoral de Javier Alvez Gimenez In this dissertation, we propose an efficient treatment of constructive negation in constraint normal […]

, , , , ,