Model-Based Completeness Proof of Extended Narrowing and Resolution -- A