Wilhelm M, Thevapalan A, Kern-Isberner G. Integrated Use of System Z for Preferred Answer Set Programming. FLAIRS [Internet]. 2025 May 14 [cited 2026 Apr. 13];38(1). Available from: https://journals.flvc.org/FLAIRS/article/view/138664