as Input Language for Answer Set Solvers

Kylian Van Dessel, Jo Devriendt, Joost Vennekens. as Input Language for Answer Set Solvers. TPLP, 21(6):785-801, 2021. [doi]

Abstract

Abstract is missing.