Merkliste 
 1 Ergebnisse 
 
1

Analyzing logic programs with dynamic scheduling:

, In: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages,