Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses
scientific article; zbMATH DE number 5728322
scientific article