Strongly equivalent logic programs

Has publishing details 2(4):526-541, 2001

Has title Strongly equivalent logic programs

Has where published ACM Trans. Comput. Log.

Has year 2001

Has author Vladimir Lifschitz +, David Pearce +, Agust\' \i n Valverde +

Has identifier DBLP:journals/tocl/LifschitzPV01 +

Categories Journal Paper +