@techreport{RISC2255,
author = {A. Craciun and B. Buchberger},
title = {{Proving the Correctness of the Merge-Sort Algorithm with Theorema}},
language = {english},
number = {02-31},
year = {2002},
month = {December},
annote = {2002-12-00-A},
howpublished = {SFB Report},
institution = {Johannes Kepler University Linz, Spezialforschungsbereich F013},
length = {15}
}