Semantics for Conditional Literals via the SM Operator.

Zachary Hansen, Yuliya Lierler

Browse the full LPNMR paper archive.