Picture for Jakob Rath

Jakob Rath

Inconsistency Proofs for ASP: The ASP-DRUPE Format

Add code
Jul 24, 2019
Figure 1 for Inconsistency Proofs for ASP: The ASP-DRUPE Format
Viaarxiv icon