Redundant Argument Filtering of Logic Programs (1996)

Cached

Download Links

by Michael Leuschel , Morten Heine Sørensen
Venue:Logic Program Synthesis and Transformation. Proceedings of LOPSTR’96, LNCS 1207
Citations:42 - 17 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