Under CopyrightBurghardt, J.J.Burghardt2022-03-0731.03.20042004https://publica.fraunhofer.de/handle/publica/29207010.24406/publica-fhg-2920701 Introduction S.1 2 Grammars and weights S.2-4 3 Simple Fixpoint Algorithm S.5-10 4 Lazy Propagation Algorithm S.11-20 5 Partial weight orderings S.21-24 References S.25-26enregular tree languageterm weightminimal termsimplification ordering004006report