On fairness in distributed automated deduction