Mechanising Partiality With Re-implementation.

Manfred Kerber, Michael Kohlhase

Browse the full KI paper archive.