Efficiently generating efficient generating extensions in Prolog

by Jesper Jørgensen , Michael Leuschel
Citations:16 - 13 self