Wilhelm, Marco, Andre Thevapalan, and Gabriele Kern-Isberner. “Integrated Use of System Z for Preferred Answer Set Programming”. The International FLAIRS Conference Proceedings 38, no. 1 (May 14, 2025). Accessed April 13, 2026. https://journals.flvc.org/FLAIRS/article/view/138664.