Takushi Tanaka Representation and Analysis of Electrical Circuits in a Deductive System. 263-267 1983 IJCAI db/conf/ijcai/ijcai83.html#Tanaka83