Vol-2969⫷ Vol-2970 ⫸Vol-2971
urn:nbn:de:0074-2970-0


Vol-2970/causalpaper5⫷Vol-2970/gdeinvited1⫸Vol-2970/gdeinvited2
Alexandros Efremidis

Solving B Constraints with Goal-directed Answer Set Programming