Functions and Relations: The GRAAL System.

Patrick Bellot, Remi Legrand

Browse the full STACS paper archive.