Y. Yang and X. Xin, “EQ-ALGEBRAS WITH PSEUDO PRE-VALUATIONS”, IJPAM, vol. 37, pp. 29–48, Jan. 2017.