The PROSPECTRA System.

Berthold Hoffmann, Bernd Krieg-Brckner

Browse the full STACS paper archive.