Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions
Thomas Eiter and Georg Gottlob
Details
| Journal |
J. Log. Program. |
| Number |
2 |
| Pages |
167−178 |
| Volume |
33 |
| Year |
1997 |
Links
Related pages
|
People |