Ullrich, M. (2023). Inference proof trees using unification (Version 1.0.0) [Computer software]. https://doi.org/10.5281/zenodo.1234