Modular Class Analysis with DATALOG.

Frdric Besson, Thomas P. Jensen

Browse the full SAS paper archive.