Deduction in a GEFRED database using Datalog.

Ignacio J. Blanco, Olga Pons, Jos-Mara Serrano, Mara Amparo Vila Miranda

Browse the full EUSFLAT paper archive.