Vipin Kumar;Yow-Jian Lin
Univ. of Texas, Austin;-
Concurrency and backtracking in Vienna Parallel Logic
Computer Languages