Article,

Strong equivalence of logic programs under the infinite-valued semantics.

, , and .
Inf. Process. Lett., 109 (11): 576-581 (2009)

Meta data

Tags

Users

  • @dblp

Comments and Reviews