Similarity-Based Equational Inference in Physics | Read Paper on Bytez