Yuanlin Zhang | Omega-krr Group/en/author/yuanlin-zhang/Yuanlin ZhangHugo Blox Builder (https://hugoblox.com)en-USSat, 01 Apr 2023 00:00:00 +0000/media/logo_hu17001059945427851307.pngYuanlin Zhang/en/author/yuanlin-zhang/Witnesses for Answer Sets of Logic Programs/en/publication/witnesses-for-answer-sets-of-logic-programs/Sat, 01 Apr 2023 00:00:00 +0000/en/publication/witnesses-for-answer-sets-of-logic-programs/