T. Anthony Marsland Alexander Reinefeld Jonathan Schaeffer Low Overhead Alternatives to SSS. 185-199 1987 31 Artif. Intell. 2 db/journals/ai/ai31.html#MarslandRS87