Towards a small model theorem for data independent systems in Alloy - Momtahan, L (Electronic Notes in Theoretical Computer Science, 2005)