Database updates and transition constraints: A formula-based approach
International Journal of Intelligent Systems (1994) - Comments
doi: 10.1002/int.4550090111  issn: 0884-8173  issn: 1098-111x 

Laurence Cholvy