Developing correct and efficient logic programs by transformation*
Pettorossi, Alberto, Proietti, MaurizioVolume:
11
Language:
english
Journal:
The Knowledge Engineering Review
DOI:
10.1017/s0269888900008031
Date:
December, 1996
File:
PDF, 1.08 MB
english, 1996