Vladimir Aleksic Anatoli Degtyarev Regular Derivations in Basic Superposition-Based Calculi. 292-306 2005 conf/lpar/2005 LPAR http://dx.doi.org/10.1007/11591191_21 db/conf/lpar/lpar2005.html#AleksicD05