Correctness of a logic program transformation system (1987)

Cached

Download Links

by M. J. Maher
Venue:IBM Research Report RC13496, T.J. Watson Research
Citations:21 - 1 self