G. Schaden, “Formalizing Current Relevance”, SuB, vol. 17, pp. 491–508, May 2019.