@inproceedings{fuchs-2021-reasoning,
    title = "Reasoning in Attempto Controlled {E}nglish: Mathematical and Functional Extensions",
    author = "Fuchs, Norbert E.",
    booktitle = "Proceedings of the Seventh International Workshop on Controlled Natural Language (CNL 2020/21)",
    month = sep,
    year = "2021",
    address = "Amsterdam, Netherlands",
    publisher = "Special Interest Group on Controlled Natural Language",
    url = "https://aclanthology.org/2021.cnl-1.8",
}