Reason Maintenance -- State of the Art (2008)

by François Bry, Jakub Kotowski