Computer Science and Information Technologies
Department
University of Texas at Austin
Austin, Estados UnidosPublications in collaboration with researchers from 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