[1]
G. Schaden, “Formalizing Current Relevance”, SuB, vol. 17, pp. 491-508, 1.