Efficiently generating efficient generating extensions (1996)

by J Jrgensen, M Leuschel
Venue:in Prolog. In [14], 238--262