Including Diagnostic Information in Configuration Models. - Tommi Syrjänen (Computational Logic, 2000)

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

Omega-Restricted Logic Programs. - Tommi Syrjänen (LPNMR, 2001)

The Smodels System. - Tommi Syrjänen; Ilkka Niemelä (LPNMR, 2001)

Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. - Gerhard Brewka; Ilkka Niemelä; Tommi Syrjänen (JELIA, 2002)

Cardinality Constraint Programs. - Tommi Syrjänen (JELIA, 2004)

Logic Programs with Ordered Disjunction. - Gerhard Brewka; Ilkka Niemelä; Tommi Syrjänen (Comput. Intell., 2004)

Logic programming and cardinality constraints: theory and practice. - Tommi Syrjänen (2009)

On the Practical Side of Answer Set Programming. - Tommi Syrjänen (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)