Nevin Heintze Spiro Michaylov Peter J. Stuckey Roland H. C. Yap Meta-Programming in CLP(R). 221-259 1997 33 J. Log. Program. 3 db/journals/jlp/jlp33.html#HeintzeMSY97