“Mechanization of the Sturmfel-Salmon resultant method” (2017) Malaysian Journal of Fundamental and Applied Sciences, 13(3). doi:10.11113/mjfas.v13n3.627.