Willem Conradie et al.: An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I). (2018)journals/corr/abs-1805-084251805.08425An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I).3Willem Conradie1Salih Durhan2Guido Sciavicco3CoRRCoRRabs/1805.084252018provenance information for RDF data of dblp record 'journals/corr/abs-1805-08425'2018-08-13T16:49:12+0200