Rubric: A system for rule-based information retrieval (1985)

by B MCCUNE, R TONG, J S DEAN, D SHAPIRO
Venue:IEEE Transactions on Software Engineering