Merkliste 
 1 Ergebnisse 
 
1

A parallel ASP instantiator based on DLV:

, In: Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming,