@inproceedings{fuchs-2021-reasoning,
    title = "Reasoning in Attempto Controlled {E}nglish: Mathematical and Functional Extensions",
    author = "Fuchs, Norbert E.",
    editor = "Kuhn, Tobias  and
      Spreeuwenberg, Silvie  and
      Hoppenbrouwers, Stijn  and
      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://preview.aclanthology.org/fix-sig-urls/2021.cnl-1.8/"
}