PPTL specification mining based on LNFG
scientific article; zbMATH DE number 7605947
scientific article