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