Dimitar P. Guelev. Logical Interpolation and Projection onto State in the Duration Calculus. Journal of Applied Non-Classical Logics, 14(1-2):181-208, 2004.
@article{Guelev04:0,
title = {Logical Interpolation and Projection onto State in the Duration Calculus},
author = {Dimitar P. Guelev},
year = {2004},
researchr = {https://researchr.org/publication/Guelev04%3A0},
cites = {0},
citedby = {0},
journal = {Journal of Applied Non-Classical Logics},
volume = {14},
number = {1-2},
pages = {181-208},
}