A Comparison of Sceptical NAF-Free Logic Programming Approaches.

Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori

Browse the full LPNMR paper archive.