A core ontology for requirements
A Logic-Based Theory of Deductive Arguments