Efficient Modeling of Linear Circuits to Perform Qualitative Reasoning Tasks. - Juan J. Flores; J. Cerda (AI Commun., 2000)