Certified CYK parsing of context-free languages
scientific article; zbMATH DE number 6360848
scientific article