On equations over sets of integers

: Jeż Arthur, Okhotin Alexander

: 2010

: 27th Annual Symposium on Theoretical Aspects of Computer Science

: 477

: 488