Optimization of GAPLog Programs. - Fredrik Eklund; Andreas Kågedal (WLP, 1994)