@workingPaper{SintekStein_1991,
title={Relfun/X : an experimental prolog implementation of Relfun},
author={Sintek, Michael and Stein, Werner},
doi={http://dx.doi.org/10.22028/D291-25222},
year={1991}
}