Cumulativity and Rationality in Semantics of Normal Logic Programs.

Jürgen Dix Cumulativity and Rationality in Semantics of Normal Logic Programs. 13-37 1990 conf/nil/1990 Nonmonotonic and Inductive Logic db/conf/nil/nil1990.html#Dix90 https://doi.org/10.1007/BFb0023315