Uniform Derivation of Decision Procedures by Superposition.

Alessandro Armando, Silvio Ranise, Michal Rusinowitch

Browse the full CSL paper archive.