The Potsdam Answer Set Solving Collection 5.0

Gebser, MartinKaminski, RolandKaufmann, BenjaminLühne, PatrickObermeier, PhilippOstrowski, MaxRomero, JavierSchaub, TorstenSchellhorn, SebastianWanko, Philipp2019-04-242019-04-242018https://dl.gi.de/handle/20.500.12116/21861enThe Potsdam Answer Set Solving Collection 5.0Text/Journal10.1007/s13218-018-0528-x1610-1987