A simple rewrite notion for call-time choice semantics.

Francisco Javier Lpez-Fraguas, Juan Rodrguez-Hortal, Jaime Snchez-Hernndez

Browse the full PPDP paper archive.