Merkliste 
 1 Ergebnisse 
 
1

A Portfolio Solver for Answer Set Programming: Preliminary ..:

, In: Logic Programming and Nonmonotonic Reasoning; Lecture Notes in Computer Science,