1 citations to https://www.mathnet.ru/eng/lncs43

1. Stepan L. Kuznetsov, “Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs”, Lecture Notes in Comput. Sci., 12842 (2021), 317–334