Vol-1432⫷ Vol-1433 ⫸Vol-1434
urn:nbn:de:0074-1433-0


Vol-1433/tc_78⫷Vol-1433/tc_84⫸Vol-1433/tc_89
João Moura PiresAnastasia AnalytiCarlos Viegas Damásio

Unifying Justifications and Debugging for Answer-Set Programs