Detection and exploitation of functional dependencies for model generation.
Saved in:
| Title: | Detection and exploitation of functional dependencies for model generation. |
|---|---|
| Authors: | DE CAT, BROES1 broes.decat@cs.kuleuven.be, BRUYNOOGHE, MAURICE1 maurice.bruynooghe@cs.kuleuven.be, Lamma, Evelina, Swift, Terrance |
| Source: | Theory & Practice of Logic Programming. Jul2013, Vol. 13 Issue 4/5, p471-485. 15p. |
| Database: | Mathematics Source |
| ISSN: | 14710684 |
|---|---|
| DOI: | 10.1017/S147106841300029X |