Temporal BI: proof system, semantics and translations
scientific article; zbMATH DE number 6244027
scientific article