Reif, Ulrich. Supplementary MAXIMA program for Theorem 4.2 in ACOM paper. (2024-10-11). Creative Commons Attribution 4.0. 312-01 Mathematik, 510. Technical University of Darmstadt. 10.48328/tudatalib-1567. https://tudatalib.ulb.tu-darmstadt.de/handle/tudatalib/4364