DMCA

Incremental Checking of Well-Founded Recursive Specifications Modulo Axioms (2011)

by Felix Schernhammer , José Meseguer