Generative grammars in resource logics
scientific article; zbMATH DE number 2146227