full paper update

full paper version for FORTE