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

(untitled) - Momtahan, L