FLORID - A Prototype for F-Logic (system description).

Paul-Thomas Kandzia Christian Schlepphorst FLORID - A Prototype for F-Logic (system description). 0- 1997 WLP db/conf/wlp/wlp97.html#KandziaS97