Automatic Generation of Logical Models with AGES.

Ral Gutirrez, Salvador Lucas

Browse the full CADE paper archive.