Inproceedings,

A Three-Valued Characterization for Strong Equivalence of Logic Programs.

.
AAAI/IAAI, page 106-111. AAAI Press / The MIT Press, (2002)

Meta data

Tags

Users

  • @dblp

Comments and Reviews