Data structure repair using goal-directed reasoning.

Sun, 01 Jan 2006 00:00:00 +0100

Brian Demsky:
Data structure repair using goal-directed reasoning. Massachusetts Institute of Technology, Cambridge, MA, USA, 2006