Leon Sterling L. Ümit Yalçinalp Explaining Prolog Based Expert Systems Using a Layered Meta-Interpreter. 66-71 1989 IJCAI db/conf/ijcai/ijcai89.html#SterlingY89