@workingPaper{Smolka_1994,
title={The definition of kernel Oz},
author={Smolka, Gert},
doi={http://dx.doi.org/10.22028/D291-24952},
year={1994}
}