An Efficient Delta-decision Procedure