An Extension to Linear Resolution with Selection Function.

Jack Minker Guy Zanon An Extension to Linear Resolution with Selection Function. 191-194 1982 14 Inf. Process. Lett. 4 db/journals/ipl/ipl14.html#MinkerZ82