Olivier Ridoux Engineering Transformations of Attributed Grammars in LambdaProlog. 244-258 1996 conf/iclp/1996 JICSLP db/conf/iclp/iclp96.html#Ridoux96 https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278923