First-order resolution
Redirect to:
Resolution (logic)