Microcoding an abstract machine for parallel logic programming - Rizk, Antoine; García, José (1989)