M. Wilhelm, A. Thevapalan, and G. Kern-Isberner, “Integrated Use of System Z for Preferred Answer Set Programming”, FLAIRS, vol. 38, no. 1, May 2025.