Decorated linear order types and the theory of concatenation

ČAČIĆ, V., PUDLÁK, P., RESTALL, G., URQUHART, A., VISSER, A. Decorated linear order types and the theory of concatenation. In: DELON, F., KOHLENBACH, U., MADDY, P., STEPHAN, F., eds. Logic Colloquium 2007. Cambridge: Cambridge University Press, 2010, s. 1-13. ISBN 978-0-521-76065-2.