Parsing Circuit Topology in a Deductive System.

Takushi Tanaka Parsing Circuit Topology in a Deductive System. 407-410 1985 IJCAI db/conf/ijcai/ijcai85.html#Tanaka85