Computing Default Extensions by Reductions on OR.

Espen H. Lian, Arild Waaler

Browse the full KR paper archive.