Bottom-up logic programming for multicores (2012)

by F Cruz, M P Ashley-Rollman, S C Goldstein, Ricardo Rocha, F Pfenning
Venue:Proc. of DAMP 2012 - Short Papers. ACM Digital Library