Determinacy Checking for Elpi: an Higher-Order Logic Programming Language with Cut.

Davide Fissore, Enrico Tassi

Browse the full PADL paper archive.