Complete proof systems for first order interval temporal logic | IEEE Conference Publication | IEEE Xplore