1. A Measure of Arbitrariness in Abductive Explanations. Issue 4 (21st July 2014) Authors: CAROPRESE, LUCIANO; TRUBITSYNA, IRINA; Truszczyński, Mirosław; Zumpano, Ester; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 665 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Checking termination of bottom-up evaluation of logic programs with function symbols*. Issue 6 (November 2015) Authors: CALAUTTI, MARCO; GRECO, SERGIO; SPEZZANO, FRANCESCA; TRUBITSYNA, IRINA Journal: Theory and practice of logic programming Issue: Volume 15:Issue 6(2015) Page Start: 854 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Using linear constraints for logic program termination analysis. Issue 3 (31st March 2016) Authors: CALAUTTI, MARCO; GRECO, SERGIO; MOLINARO, CRISTIAN; TRUBITSYNA, IRINA Journal: Theory and practice of logic programming Issue: Volume 16:Issue 3(2016) Page Start: 353 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗