1 citations to https://www.mathnet.ru/rus/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  mathnet  crossref  isi  scopus