Deconstructing the "math-science quest for solutions" website via logic programming. - Robert W. McGrail; Burton Brody (J. Comput. Sci. Coll., 2005)