Yow-Jian Lin;Vipin Kumar;Clement Leung
-;-;-
Search direction by goal failure in goal-oriented programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Parallel Execution Model of Logic Programs
IEEE Transactions on Parallel and Distributed Systems