Generalisation of Clauses (1993)

by P Idestam-Almquist