decision procedure

  1. REDIRECT decision problem