Uniquely parsable unification grammars and their parser implemented in Prolog
scientific article; zbMATH DE number 1568579