GitHub repository: rashmie/SSIF
Primary language: Java
Created: 2019-08-21T21:30:43Z
Description: Subsumption-based Sub-term Inference Framework