@dblp

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

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

Links and resources

Tags