Topologies for the parallel backtracking Prolog engine.

Leonardo Campanale, Mario De Blasi, Anna Gentile, F. Greco

Browse the full MICRO paper archive.