Prehistoric graph in modal derivations and self-referentiality
scientific article; zbMATH DE number 6803493