Jürgen Frohn Rainer Himmeröder Paul-Thomas Kandzia Georg Lausen Christian Schlepphorst FLORID - Ein Prototyp fuer F-Logik. 100-117 1997 BTW db/conf/btw/btw97.html#FrohnHKLS97