Zdravko Markov Danail Dochev Christo Dichev Genadi Agre An Approach to Compiling PROLOG Programs. 47-53 1986 AIMSA db/conf/aimsa/aimsa1986.html#MarkovDDA86