Solution of the Robbins problem
theorem-proving program for equational logic
scientific article; zbMATH DE number 1089469