A COMPUTER APPLICATION ON ARF SEMIGROUPS AND TYPE SEQUENCES OF NUMERICAL SEMIGROUPS. (2013)