Nagging: A distributed, adversarial search-pruning technique applied to first-order inference
scientific article; zbMATH DE number 1089472