An integrated first-order theory of points and intervals : expressive power in the class of all linear orders

- Conradie, Willem, Durhan, Salih, Sciavicco, Guido