Kevin D. Ashley, Vincent Aleven: A Logical Representation for Relevance Criteria. EWCBR 1993: 338-352