Partial Deduction of Disjunctive Logic Programs: A Declarative Approach (1994)

Cached

Download Links

by Chiaki Sakama , Hirohisa Seki
Venue:In Logic Program Synthesis and Transformation -- Meta Programming in Logic, LNCS 883
Citations:19 - 1 self