Correctness Proofs of Transformation Schemas (1997)

by H Buyukyldz, P Flener
Venue:Bilkent University, Department of Computer Science