Records for Logic Programming

Cite this paper

@article{Smolka1992RecordsFL, title={Records for Logic Programming}, author={Gert Smolka and Ralf Treinen}, journal={J. Log. Program.}, year={1992}, volume={18}, pages={229-258} }