Merkliste 
 1 Ergebnisse 
 
1

On the expressibility of stable logic programming:

MAREK, VICTOR W. ; REMMEL, JEFFREY B.
Theory and Practice of Logic Programming.  3 (2003)  4+5 - p. 551-567 , 2003