Journal of Intelligent Information Systems, 10, 253–c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ° SCDBR: An Automated Reasoner for Specifications of Database Updates

First Page		Document Content
Date: 2013-04-26 05:57:02		Journal of Intelligent Information Systems, 10, 253–c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ° SCDBR: An Automated Reasoner for Specifications of Database Updates Add to Reading List Source URL: marenas.sitios.ing.uc.cl Download Document from Source Website File Size: 455,85 KB Share Document on Facebook