Algorithms from Relational Specifications, chapter 9 (1997)

by Rudolf Berghammer, Burghard von Karger
Venue:Advances in Computing