Mireille Ducassé Abstract Views of Prolog Executions in Opium. 18-32 1991 ISLP db/conf/slp/slp91.html#Ducasse91