An operational semantics for network datalog (2010)

by Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo, Andre Scedrov
Venue:In LAM’10