Abductive Reasoning through Direct Deduction from Completed Domain Models