1. ASPeRiX, a first-order forward chaining approach for answer set computing*. Issue 3 (16th January 2017) Authors: LEFÈVRE, CLAIRE; BÉATRIX, CHRISTOPHER; STÉPHAN, IGOR; GARCIA, LAURENT Journal: Theory and practice of logic programming Issue: Volume 17:Issue 3(2017) Page Start: 266 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗