@Article{Borgida95,
  Title                    = {On the Frame Problem in Procedure Specifications},
  Author                   = {Borgida, A. and Mylopoulos, J. and Reiter, R.},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {1995},

  Month                    = {October},
  Number                   = {10},
  Pages                    = {785--798},
  Volume                   = {21},

  File                     = {ieee-tse.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/ieee-tse.pdf:PDF;ieee-tse.ps:http\://www.cs.toronto.edu/cogrobo/Papers/ieee-tse.ps:PostScript},
  Key                      = {CogRobo},
  Opturl                   = {http://www.cs.toronto.edu/cogrobo/Papers/ieee-tse.ps.gz},
  Timestamp                = {2018.09.23},
  Url                      = {ieee-tse.pdf}
}

{"_id":{"_str":"5342b4530e946d920a00332f"},"__v":103,"authorIDs":["54595b5eb43425b7720004ab","545a81d5b43425b772000f53","546d69cbec3c47a518000a70"],"author_short":["Borgida, A.","Mylopoulos, J.","Reiter, R."],"bibbaseid":"borgida-mylopoulos-reiter-ontheframeprobleminprocedurespecifications-1995","bibdata":{"bibtype":"article","type":"article","title":"On the Frame Problem in Procedure Specifications","author":[{"propositions":[],"lastnames":["Borgida"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Mylopoulos"],"firstnames":["J."],"suffixes":[]},{"propositions":[],"lastnames":["Reiter"],"firstnames":["R."],"suffixes":[]}],"journal":"IEEE Transactions on Software Engineering","year":"1995","month":"October","number":"10","pages":"785–798","volume":"21","file":"ieee-tse.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/ieee-tse.pdf:PDF;ieee-tse.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/ieee-tse.ps:PostScript","key":"Borgida95","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/ieee-tse.ps.gz","timestamp":"2018.09.23","url":"ieee-tse.pdf","bibtex":"@Article{Borgida95,\n Title = {On the Frame Problem in Procedure Specifications},\n Author = {Borgida, A. and Mylopoulos, J. and Reiter, R.},\n Journal = {IEEE Transactions on Software Engineering},\n Year = {1995},\n\n Month = {October},\n Number = {10},\n Pages = {785--798},\n Volume = {21},\n\n File = {ieee-tse.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/ieee-tse.pdf:PDF;ieee-tse.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/ieee-tse.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/ieee-tse.ps.gz},\n Timestamp = {2018.09.23},\n Url = {ieee-tse.pdf}\n}\n\n","author_short":["Borgida, A.","Mylopoulos, J.","Reiter, R."],"id":"Borgida95","bibbaseid":"borgida-mylopoulos-reiter-ontheframeprobleminprocedurespecifications-1995","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/ieee-tse.pdf"},"metadata":{"authorlinks":{}},"downloads":5,"html":""},"bibtype":"article","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":5,"keywords":[],"search_terms":["frame","problem","procedure","specifications","borgida","mylopoulos","reiter"],"title":"On the Frame Problem in Procedure Specifications","year":1995,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}