1. Inconsistency Proofs for ASP: The ASP - DRUPE Format. Issue 5 (September 2019) Authors: ALVIANO, MARIO; DODARO, CARMINE; FICHTE, JOHANNES K.; HECHER, MARKUS; PHILIPP, TOBIAS; RATH, JAKOB Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 891 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗