Linear resolution with selection function (0)

by R Kowalski, D Kuehner
Venue:Artificial Intelligence