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


Vol-1433/tc_62⫷Vol-1433/tc_65⫸Vol-1433/tc_74
Benjamin Kiesl-ReiterPeter SchüllerHans Tompits

On Structural Analysis of Non-Ground Answer-Set Programs