@inproceedings{SLP-1985-GallierR85,
	author        = "Jean H. Gallier and Stan Raatz",
	booktitle     = "{Proceedings of the Second Symposium on Logic Programming}",
	isbn          = "0-8186-0636-3",
	pages         = "208--219",
	publisher     = "{IEEE-CS}",
	title         = "{Logic Programming and Graph Rewriting}",
	year          = 1985,
}