Michael Leuschel, Morten Heine Sørensen
Redundant Argument Filtering of Logic Programs
LOPSTR, 1996.
@inproceedings{LOPSTR-1996-LeuschelS96a,
author = "Michael Leuschel and Morten Heine Sørensen",
booktitle = "{Proceedings of the Sixth International Workshop on Logic Programming Synthesis and Transformation}",
doi = "10.1007/3-540-62718-9_6",
isbn = "3-540-62718-9",
pages = "83--103",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Redundant Argument Filtering of Logic Programs}",
volume = 1207,
year = 1996,
}