A knowledge-based aid for DC circuit analysis | IEEE Journals & Magazine | IEEE Xplore