Publicaciones en colaboración con investigadores/as de University of Texas at Austin (1)

2007

  1. Propositional theories are strongly equivalent to logic programs

    Theory and Practice of Logic Programming, Vol. 7, Núm. 6, pp. 745-759