Reasoning Symbolically About Partially Matched Cases.

Kevin D. Ashley, Vincent Aleven

Browse the full IJCAI paper archive.