Theory propagation and reification

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

Authors

Edward Robbins

This author has not been identified. Look up 'Edward Robbins' in Google

Jacob M. Howe

This author has not been identified. Look up 'Jacob M. Howe' in Google

Andy King

This author has not been identified. Look up 'Andy King' in Google