The complexity of reasoning for fragments of default logic | UPT Perpustakaan UHAMKA