DMCA

Automating termination proofs for CHR (2009)

Cached

Download Links

by Paolo Pilozzi , Danny De Schreye
Venue:In ICLP ’09: Proceedings of the 25th International Conference on Logic Programming
Citations:2 - 1 self