Yatin P. Saraiya
-
Linearisability on datalog programs
Theoretical Computer Science
Generalization of ZYT-linearizability for bilinear datalog programs
Information and Computation