@article{ Borgida95,
  ps = {http://www.cs.toronto.edu/cogrobo/Papers/ieee-tse.ps}
}
,
  title = {On the Frame Problem in Procedure Specifications}
}
,
  url = {ieee-tse.pdf}
}
,
  journal = {IEEE Transactions on Software Engineering}
}
,
  author = {Borgida, A. and Mylopoulos, J. and Reiter, R.}
}
,
  number = {10}
}
,
  month = {October}
}
,
  volume = {21}
}
,
  key = {CogRobo}
}
,
  year = {1995}
}
,
  opturl = {http://www.cs.toronto.edu/cogrobo/Papers/ieee-tse.ps.gz}
}
,
  pdf = {http://www.cs.toronto.edu/cogrobo/Papers/ieee-tse.pdf}
}
,
  pages = {785--798}
}