@doctoralThesis{Meyer_1999,
title={Soft typing for clausal inference systems},
author={Meyer, Christoph},
doi={http://dx.doi.org/10.22028/D291-25718},
year={1999}
}