address:	Technische Universität München Institut für Informatik / I2 Boltzmannstr. 3 85748 Garching
room:	02.07.039
tel:	+49 89 289-18190
email:	aleksandr . karbyshev [at] in . tum . de

Karbyshev, Seidl, Hofmann, On the Verification of Local Generic Solvers:
fixfun.zip, coq.zip