Craig MacNish Antony Galton John Gooday QSQR: Quantitatively Scoped Qualitative Reasoning. 30-37 1993 SCAI db/conf/scai/scai1993.html#MacNishGG93