[BLD] minor syntax problem in the BLD tests
Comment on RIF Overview
Eye RIF-DTB test results
Jim Melton: XML Query WG review of RIF Datatypes and Built-Ins 1.0
RIF BLD implementation report (abstract syntax in Java, parser and converter to TPTP)
Some thoughts on "intended Semantic Structures" section 3.8 of RIF-FLD
WG: RIF implementation in FuXi
Last message date: Wednesday, 28 October 2009 08:33:03 UTC