411 REFERENCE · Wikibooks
Logic for Computer Scientists/Predicate Logic/Strategies for Resolution
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
5.8.1 Linear Resolution
5.8.2 Input and Unit Resolution
5.8.3 SLD-Resolution
5.8.4 A Prolog-like Implementation
5.8.5 Iterative Deepening