{"article":{"@attributes":{"key":"journals\/jsc\/QianW96","mdate":"2025-10-08"},"author":["Zhenyu Qian 0002","Kang Wang"],"title":"Modular Higher-Order Equational Preunification.","pages":"401-424","year":"1996","volume":"22","journal":"J. Symb. Comput.","number":"4","url":"db\/journals\/jsc\/jsc22.html#QianW96","ee":"https:\/\/doi.org\/10.1006\/jsco.1996.0059"}}