Ramaswamy Ramanujam R. K. Shyamasundar Process Specification of Logic Programs. 31-43 1984 conf/fsttcs/1984 FSTTCS db/conf/fsttcs/fsttcs84.html#RamanujamS84 http://dx.doi.org/10.1007/3-540-13883-8_63