C. Ochulor, “Formalized arguments”, sophia, vol. 12, no. 1, pp. 136–144, Sep. 2012.