Skip to main content

Tertius: a system for rule discovery in first-order logic

Downloads

Papers

10 August 2004 at 16:17. © 2004 University of Bristol, UK