TY - JOUR ID - 146183000 TI - Wos and automated deduction at ANL : the Ethos AU - OVERBEEK, R. AU - Lusk, Ewing PY - DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:146183000 AB - ER -