decision procedure (logic) - Turkish English Dictionary