Original language | English |
---|---|
Title of host publication | Proceedings of the Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 1996 |
Editors | M. Maher |
Pages | 289-303 |
Publication status | Published - 1996 |
MoE publication type | A4 Article in a conference publication |
Efficient Implementation of the Well-founded and Stable Model Semantics
Ilkka Niemelä, Patrik Simons
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review