Decidable Reasoning in a Logic of Limited Belief with Function Symbols