1. FOLASP: FO(·) as Input Language for Answer Set Solvers. Issue 6 (November 2021) Authors: VAN DESSEL, KYLIAN; DEVRIENDT, JO; VENNEKENS, JOOST Journal: Theory and practice of logic programming Issue: Volume 21:Issue 6(2021) Page Start: 785 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. On local domain symmetry for model expansion. Issue 5 (14th October 2016) Authors: DEVRIENDT, JO; BOGAERTS, BART; BRUYNOOGHE, MAURICE; DENECKER, MARC Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 636 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗