Vol-4070⫷ Vol-4071 ⫸Vol-4072
urn:nbn:de:0074-4071-0


Vol-4071/paper18⫷Vol-4071/paper19⫸Vol-4071/paper20
Andre ThevapalanGabriele Kern-Isberner

Resolving Constraint-Induced Inconsistencies in ASP Using lambda-Extensions