FLORID: a prototype for F-logic | IEEE Conference Publication | IEEE Xplore