Algorithmics of Checking whether a Mapping Is Injective, Surjective, and/or Bijective. - Eduardo Cabral Balreira; Olga Kosheleva; Vladik Kreinovich (Constraint Programming and Decision Making, 2014)