Efficient Implementation of the Well-founded and Stable Model Semantics. - Ilkka Niemelä; Patrik Simons (JICSLP, 1996)

Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP. - Ilkka Niemelä; Patrik Simons (LPNMR, 1997)

Stable Model Semantics of Weight Constraint Rules. - Ilkka Niemelä; Patrik Simons; Timo Soininen (LPNMR, 1999)

Extending the Stable Model Semantics with More Expressive Rules. - Patrik Simons (LPNMR, 1999)

Unfolding Partiality and Disjunctions in Stable Model Semantics. - Tomi Janhunen; Ilkka Niemelä; Patrik Simons; Jia-Huai You (KR, 2000)

Smodels: A System for Answer Set Programming - Ilkka Niemelä; Patrik Simons; Tommi Syrjänen (CoRR, 2000)

Extending and Implementing the Stable Model Semantics - Patrik Simons (CoRR, 2000)

Extending and implementing the stable model semantics. - Patrik Simons; Ilkka Niemelä; Timo Soininen (Artif. Intell., 2002)

Unfolding partiality and disjunctions in stable model semantics. - Tomi Janhunen; Ilkka Niemelä; Dietmar Seipel; Patrik Simons; Jia-Huai You (ACM Trans. Comput. Log., 2006)