Automatic Theorem Proving based on resolution - Pirotte, A (Pergamon Pr., 1973)
Aus: Annual review in automatic programming. Vol.7. P.4.