Ciencias da Computación e Tecnoloxías da Información
Departamento
University of Texas at Austin
Austin, Estados UnidosPublicacións 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