@workingPaper{SmolkaTreinen_1992,
title={Records for logic programming},
author={Smolka, Gert and Treinen, Ralf},
doi={http://dx.doi.org/10.22028/D291-24985},
year={1992}
}