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]

Authors

Reinout Stevens

This author has not been identified. Look up 'Reinout Stevens' in Google

Coen De Roover

This author has not been identified. Look up 'Coen De Roover' in Google

Carlos Noguera

This author has not been identified. Look up 'Carlos Noguera' in Google

Andy Kellens

This author has not been identified. It may be one of the following persons: Look up 'Andy Kellens' in Google

Viviane Jonckers

This author has not been identified. Look up 'Viviane Jonckers' in Google