APA (7th ed.) Citation

Haeusler, E. H., Junior, J. F. C. B., & Robinson. (2022). On the horizontal compression of dag-derivations in minimal purely implicational logic.

Chicago Style (17th ed.) Citation

Haeusler, Edward Hermann, José Flávio Cavalcante Barros Junior, and Robinson. On the Horizontal Compression of Dag-derivations in Minimal Purely Implicational Logic. 2022.

MLA (9th ed.) Citation

Haeusler, Edward Hermann, et al. On the Horizontal Compression of Dag-derivations in Minimal Purely Implicational Logic. 2022.