A resolution principle for clauses with constraints,” Lecture (0)

by H Bürckert