Vol-555⫷ Vol-556 ⫸Vol-557
urn:nbn:de:0074-556-0


Vol-556/paper-4⫷Vol-556/paper-5⫸Vol-556/paper-6

Toward an Efficient Equality Computation in Connection Tableaux: A Modification Method without Symmetry Transformation