Incremental Rewriting Modulo SMT.

Gerald Whitters, Vivek Nigam, Carolyn L. Talcott

Browse the full CADE paper archive.