Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference.

David B. Sturgill Alberto Maria Segre Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference. 347-376 1997 19 J. Autom. Reasoning 3 db/journals/jar/jar19.html#SturgillS97