@phdthesis{ McIlraith97-Phd,
  school = {Department of Computer Science, University of Toronto}
}
,
  author = {McIlraith, Sheila A.}
}
,
  title = {Towards a Formal Account of Diagnostic Problem Solving}
}
,
  url = {McIlraith97-Phd.pdf}
}
,
  address = {Toronto, Canada}
}
,
  key = {CogRobo}
}
,
  year = {1997}
}