Manfred Kerber Michael Kohlhase Mechanising Partiality With Re-implementation. 123-134 1997 conf/ki/1997 KI db/conf/ki/ki97.html#KerberK97