Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions (J. Log. Program., 1997)

(untitled) - Eiter, T; Gottlob, G