@MISC{Domes_rigorousverification, author = {Ferenc Domes and Arnold Neumaier}, title = {Rigorous verification of feasibility}, year = {}}
author secondary information rigorous verification