Prolog, refinements and RLGG's
1998 ◽
pp. 225-234
◽