The Lyndon property and uniform interpolation over the Grzegorczyk logic
scientific article; zbMATH DE number 6365608
scientific article