Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs (2007)

by A CASAS, M CARRO, M HERMENEGILDO
Venue:The Technical University of Denmark