Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism

From MaRDI portal
Publication:4245928