Logic programming and graph rewriting (1985)

by J H Gallier, S Raatz
Venue:In Proceedings of Symposium on Logic Programming