Theory propagation and reification

Edward Robbins, Jacob M. Howe, Andy King. Theory propagation and reification. Science of Computer Programming, 111:3-22, 2015. [doi]

Abstract

Abstract is missing.