Referenced by:

• logic-universal-axiomatization