The complexity of handling minimal solutions in logic-based abduction | UPT Perpustakaan UHAMKA