A logic foundation for a general-purpose history querying tool

Reinout Stevens, Coen De Roover, Carlos Noguera, Andy Kellens, Viviane Jonckers. A logic foundation for a general-purpose history querying tool. Science of Computer Programming, 96:107-120, 2014. [doi]

Abstract

Abstract is missing.