Regular Derivations in Basic Superposition-Based Calculi.

Vladimir Aleksic, Anatoli Degtyarev

Browse the full LPAR paper archive.