Microcoding an abstract machine for parallel logic programming - Rizk, Antoine; García, José (Institut National de Recherche en Informatique et en Automatique <Rocquencourt>: Rapports de recherche, 1989)