Coping with Complexity in Automated Reasoning about Database Systems.

Tim Sheard, David W. Stemple

Browse the full VLDB paper archive.