Redundant Argument Filtering of Logic Programs (1996)

View PDF

Download Links

by Michael Leuschel , Morten Heine Sørensen
Venue:Logic Program Synthesis and Transformation. Proceedings of LOPSTR’96, LNCS 1207
Citations:46 - 19 self

Document Versions

Redundant Argument Filtering of Logic Programs –Michael Leuschel, Morten Heine Sørensen — 1996 — Logic Program Synthesis and Transformation. Proceedings of LOPSTR’96, LNCS 1207
Redundant Argument Filtering of Logic Programs –Michael Leuschel, Morten Heine S��rensen — 1996