There are a number of specific resolution strategies that can be used to make resolution more efficient. In this section we explain a number of these strategies, often with help from OTTER.
