15 citations · 34 across the 14 of their papers we have counts for
1 paper · 1 filter
Włodzimierz Drabent
A sufficient and necessary condition is given under which least Herbrand models exactly characterize the answers of definite clause programs. To appear in Theory and Practice of Lo…