Ciencias de la Computación y Tecnologías de la Información
Departamento
University of Texas at Austin
Austin, Estados UnidosPublicaciones en colaboración con investigadores/as de University of Texas at Austin (1)
2007
-
Propositional theories are strongly equivalent to logic programs
Theory and Practice of Logic Programming, Vol. 7, Núm. 6, pp. 745-759