Developing Correct and Efficient Logic Programs by Transformation (1996)

Cached

Download Links

by Alberto Pettorossi , Maurizio Proietti
Venue:Knowledge Engineering Review
Citations:2 - 0 self