@收款{zbMATH07631262，作者={Baader，Franz and Schulz，Klaus U.}，Title={约束求解技术的组合：代数观点}，BookTitle={重写技术和应用。第六届国际会议，RTA-95，德国凯泽斯劳滕，1995年4月5-7日。诉讼}，国际标准图书编号={3-540-59200-8}，页码={352--366}，年份={1995}，出版商={柏林：Springer-Verlag}，语言={英语}，DOI={10.1007/3-540-59200-8_69}，关键词={03B35,03C05,68V15}，zbMATH={7631262}，Zbl={1503.03014}}