Predicate logic with flexibly binding operators and natural language semantics
scientific article; zbMATH DE number 501098