FOLASP: FO(·) as Input Language for Answer Set Solvers
K Van Dessel, J Devriendt, J Vennekens
Research output: Contribution to journal › Article › peer-review
1
Citation
(Scopus)