Development of Correct Transformation Schemata for Prolog Programs (1998)

Cached

Download Links

by Julian Richardson , Norbert Fuchs
Venue:IN LNCS
Citations:15 - 3 self