Refining Specifications to Logic Programs. - Hayes, Ian J.; Nickson, R. G.; Strooper, Paul A. (1996)