Jori Bomanson. Normalization and Rewriting for Answer Set Programming and Optimization ; Sääntöpohjaisten haku- ja optimointiohjelmien normalisointi ja uudelleenkirjoitus. PhD thesis, Aalto University, Espoo, Finland, 2020. [doi]
Abstract is missing.