Lifting non-finite axiomatizability results to extensions of process algebras
scientific article; zbMATH DE number 5705447
scientific article