Efficiently generating efficient generating extensions (1996)

by J Jørgensen, M Leuschel
Venue:in Prolog. In [14], 238–262