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

Tomi Janhunen Classifying Semi-Normal Default Logic on the Basis of its Expressive Power. 19-33 http://link.springer.de/link/service/series/0558/bibs/1730/17300019.htm 1999 conf/lpnmr/1999 LPNMR db/conf/lpnmr/lpnmr99.html#Janhunen99