Handling side effects and cuts with selective recomputation in parallel prolog
Journal Title
Future Generation Computer Systems
Volume
17
Subject
Distributed computing and systems software
Information systems
History, heritage and archaeology