A Declarative Kernel for

Nicola Fanizzi, Claudia d'Amato

Browse the full ISMIS paper archive.