@phdthesis{key,
 author = {Brian Demsky},
 title = {Data Structure Repair Using Goal-Directed Reasoning},
 school = {MIT},
 month = {January},
 year = {2006}
}