Constructing tournament representations: An exercise in pointwise relational programming

Bibliographic Details
Main Author: Hinze, R
Format: Report
Published: Institut für Informatik III‚ Universität Bonn 2002