Generalised logic program transformation schemas (1997)

by H Büyükyildiz, P Flener
Venue:BF97] [BH93] [Bit92] [Bor00] [Box02] [BS96