The Term 'Justification'
In JTMS justifications are constructed dynamically as a result of logical derivations performed and associated to nodes in order to express its dependencies.
In ATMS justifications are part of the input to the program. They specify the dependencies between assumptions.