Theory contraction through base contraction1991-05-010 PRE AI DOI:10.1007/bf00284974OriginalOriginal request for helpShareSaveAbstract En