Resolution with Selection Function (0)

by Linear
Venue:Artificial Intelligence