A Denotational Semantics and Dataflow Construction for Logic Programs.

Susumu Yamasaki A Denotational Semantics and Dataflow Construction for Logic Programs. 71-91 1994 124 Theor. Comput. Sci. 1 db/journals/tcs/tcs124.html#Yamasaki94