Iterative Specialisation of Horn Clauses.

Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson

Browse the full ESOP paper archive.