Index of /1.03-psoa/test/rnc-test-suites/hornlogPSOA-test-suite/

      Name                                                                             Last modified         Size  Description
   
up Parent Directory 09-Mar-2020 11:10 - unknown hornlogPSOA.ruleml 09-Mar-2020 11:10 8k unknown hornlogPSOA_normal.ruleml 09-Mar-2020 11:10 8k unknown hornlogPSOA_relaxed.ruleml 09-Mar-2020 11:10 8k unknown liabilitySlotted_normal.ruleml 13-May-2019 23:30 4k unknown liabilityTupledExplicit_normal.ruleml 23-Apr-2019 22:20 4k unknown liabilityTupledImplicit_normal.ruleml 23-Apr-2019 22:20 4k

Proudly Served by LiteSpeed Web Server at deliberation.ruleml.org Port 443