Insa Stucke: Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants. RAMiCS 2017: 290-306