Unbounded program memory adds to the expressive power of first-order dynamic logic | IEEE Conference Publication | IEEE Xplore