TY - JOUR ID - 145244693 TI - On order invariant synthesizing functions PY - DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:145244693 AB - ER -