E09-1061 suggests a useful generalization : semiring-weighted deduction ( Goodman , 1999 ) .7 A semiring
E09-1061 Adding Local Parameterizations via Semiring-Weighted Deduction So far we have focused solely
hide detail