Implementing Constructive Intensional Negation

Julio Mariño, Juan José Moreno-Navarro, Susana Muñoz-Hernández. Implementing Constructive Intensional Negation. New Generation Comput., 27(1):25-56, 2008. [doi]

Abstract

Abstract is missing.