Efficiently generating efficient generating extensions in Prolog

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