Vol-2170⫷ Vol-2171 ⫸Vol-2172
urn:nbn:de:0074-2171-0


Vol-2171/paper_1⫷Vol-2171/paper_2⫸Vol-2171/paper_3

Evaluating SETAFs via Answer-Set Programming