On Arbitrary Selection Strategies for Basic Superposition.

Vladimir Aleksic, Anatoli Degtyarev

Browse the full JELIA paper archive.