Maintaining Distributed Logic Programs Incrementally (2011)

by V NIGAM, L JIA, B T LOO, A SCEDROV
Venue:In ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP