LEO-II and Satallax on the Sledgehammer test bench
scientific article; zbMATH DE number 6160224