The Effects of Bounding Syntactic Resources on Presburger LTL | UPT Perpustakaan UHAMKA