Regular Derivations in Basic Superposition-Based Calculi. - Vladimir Aleksic; Anatoli Degtyarev (LPAR, 2005)

On Arbitrary Selection Strategies for Basic Superposition. - Vladimir Aleksic; Anatoli Degtyarev (JELIA, 2006)