The Lagrange elasticity variant of UCSolver is described in the thesis
"Automated Computational Modeling" by Johan Jansson:

http://www.nada.kth.se/~jjan/publications/dissertation.pdf
