Wilhelm, Marco, et al. “Integrated Use of System Z for Preferred Answer Set Programming”. The International FLAIRS Conference Proceedings, vol. 38, no. 1, May 2025, doi:10.32473/flairs.38.1.138664.