Superposition and Chaining for Totally Ordered Divisible Abelian Groups.

Uwe Waldmann

Browse the full CADE paper archive.