Cuteri, B., et al.. Enhancing and Applying Answer Set Programming: Lazy Constraints, Partial Compilation and Question Answering. Università della Calabria, 2019, doi:10.13126/unical.it/dottorati/1759.