Arithmetic of divisibility in finite models. - Marcin Mostowski; Anna Wasilewska (Math. Log. Q., 2004)