Inproceedings,

Back and Forth Semantics for Normal, Disjunctive and Extended Logic programs.

.
APPIA-GULP-PRODE, page 329-342. (1998)

Meta data

Tags

Users

  • @dblp

Comments and Reviews