DYNA/logic:reference