Skip to main content

Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions

Thomas Eiter and Georg Gottlob

Journal
J. Log. Program.
Number
2
Pages
167−178
Volume
33
Year
1997