SOS formats and meta-theory: 20 years after
scientific article; zbMATH DE number 5144952
scientific article