Normalizing Cardinality Rules Using Merging and Sorting Constructions. - Jori Bomanson; Tomi Janhunen (LPNMR, 2013)

Improving the Normalization of Weight Rules in Answer Set Programs. - Jori Bomanson; Martin Gebser; Tomi Janhunen (JELIA, 2014)

Rewriting Optimization Statements in Answer-Set Programs. - Jori Bomanson; Martin Gebser; Tomi Janhunen (ICLP (Technical Communications), 2016)

Answer Set Programming Modulo Acyclicity. - Jori Bomanson; Martin Gebser; Tomi Janhunen; Benjamin Kaufmann; Torsten Schaub (Fundam. Informaticae, 2016)

lp2normal - A Normalization Tool for Extended Logic Programs. - Jori Bomanson (LPNMR, 2017)

Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract. - Jori Bomanson; Tomi Janhunen; Antonius Weinzierl (KR, 2018)

Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming. - Jori Bomanson; Tomi Janhunen; Antonius Weinzierl (AAAI, 2019)

Diagnosing Data Pipeline Failures Using Action Languages. - Jori Bomanson; Alex Brik (LPNMR, 2019)

Applying Visible Strong Equivalence in Answer-Set Program Transformations. - Jori Bomanson; Tomi Janhunen; Ilkka Niemelä (ACM Trans. Comput. Log., 2020)

Boosting Answer Set Optimization with Weighted Comparator Networks. - Jori Bomanson; Tomi Janhunen (Theory Pract. Log. Program., 2020)

Normalization and Rewriting for Answer Set Programming and Optimization ; Sääntöpohjaisten haku- ja optimointiohjelmien normalisointi ja uudelleenkirjoitus. - Jori Bomanson (2020)