Merkliste 
 1 Ergebnisse 
 
1

Transformation-based bottom-up computation of the well-foun..:

, In: Lecture Notes in Computer Science; Non-Monotonic Extensions of Logic Programming,