Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models.

Zhiyi Huang, Chengzheng Sun, Abdul Sattar

Browse the full ICLP paper archive.