Classifying Semi-Normal Default Logic on the Basis of its Expressive Power.

Tomi Janhunen

Browse the full LPNMR paper archive.