On the Expressibility of Stable Logic Programming.

V. Wiktor Marek, Jeffrey B. Remmel

Browse the full LPNMR paper archive.