@workingPaper{Sintek_1993,
title={Indexing PROLOG procedures into DAGs by heuristic classification},
author={Sintek, Michael},
doi={http://dx.doi.org/10.22028/D291-25044},
year={1993}
}