Your search returned the following document:

1. Well-Behaved Inference Rules for First-Order Theorem Proving
   Jinzhao Wu and Zhuojun Liu
   Journal of Automated Reasoning 21 (3): 381-400, 1998