https://intlibrary.ir/download/integrating-decision-procedures-for-temporal--20357/