@workingPaper{HanschkeWürtz_1993,
title={Satisfiability of the smallest binary program},
author={Hanschke, Philipp and Würtz, Jörg},
doi={http://dx.doi.org/10.22028/D291-25002},
year={1993}
}