An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders.

Willem Conradie, Salih Durhan, Guido Sciavicco

Browse the full TIME paper archive.