A flexible schema for generating explanations in lazy theory propagation | IEEE Conference Publication | IEEE Xplore