Inproceedings,

Alternative characterizations for strong equivalence of logic programs.

.
NMR, page 229-237. (2002)

Meta data

Tags

Users

  • @dblp

Comments and Reviews