Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications.评价结果

评估详情