Efficiently generating efficient generating extensions in Prolog

by Jesper Jørgensen , Michael Leuschel
Citations:18 - 15 self