TY - JOUR AU - DARLINGTON,J AU - GUO,Y EP - 435 PY - 1991/// SN - 0302-9743 SP - 424 TI - CONSTRAINED EQUATIONAL DEDUCTION T2 - LECTURE NOTES IN COMPUTER SCIENCE UR - https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:A1991GF96300036&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=a2bf6146997ec60c407a63945d4e92bb VL - 516 ER -