The following publications are possibly variants of this publication:
- Unfolding partiality and disjunctions in stable model semanticsTomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You. tocl, 7(1):1-37, 2006. [doi]
- Extending and implementing the stable model semanticsPatrik Simons, Ilkka Niemelä, Timo Soininen. ai, 138(1-2):181-234, 2002. [doi]
- Efficient Implementation of the Well-founded and Stable Model SemanticsIlkka Niemelä, Patrik Simons. ICLP 1996: 289-303