A Temporal Framework for Database Specifications.

Jos Mauro Volkmer de Castilho, Marco A. Casanova, Antnio L. Furtado

Browse the full VLDB paper archive.