Selected papers that cite this one
- Michael Benedikt, Timothy Griffin, and Leonid Libkin. Verifiable properties of database transactions. Accepted for publication in Information and Computation. Final manuscript received for publication February 24, 1998.