E. Tick;C. Banerjee
-;-
Determinacy testing for nondeterminate logic programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed logic objects
Computer Languages