Liepins, G.E. Fourier-Motzkin elimination for mixed systems, report, August 1, 1983; (https://digital.library.unt.edu/ark:/67531/metadc1099248/m1/1/: accessed July 16, 2024), University of North Texas Libraries, UNT Digital Library, digital.library.unt.edu; .