Designing object-oriented representations for reasoning from first-principles | IEEE Conference Publication | IEEE Xplore