Wilhelm, M.; Thevapalan, A.; Kern-Isberner, G. Integrated Use of System Z for Preferred Answer Set Programming. FLAIRS 2025, 38.