Login / Signup

A flexible schema for generating explanations in lazy theory propagation.

Roberto BruttomessoEdgar PekNatasha Sharygina
Published in: MEMOCODE (2010)
Keyphrases