Janhunen, Tomi2019-04-242019-04-242018https://dl.gi.de/handle/20.500.12116/21864enCross-Translating Answer Set Programs Using the ASPTOOLS CollectionText/Journal10.1007/s13218-018-0529-91610-1987