@inproceedings{ Petrick02,
  opturl = {http://www.cs.toronto.edu/cogrobo/Papers/kr2002-ron.ps.gz}
}
,
  ps = {http://www.cs.toronto.edu/cogrobo/Papers/kr2002-ron.ps}
}
,
  optnumber = {}
}
,
  title = {Knowledge Equivalence in Combined Action Theories}
}
,
  url = {kr2002-ron.pdf}
}
,
  booktitle = {Proceedings of KR-2002}
}
,
  author = {Petrick, Ron and Levesque, Hector}
}
,
  year = {2002}
}
,
  optpublisher = {}
}
,
  month = {April}
}
,
  optpages = {}
}
,
  key = {CogRobo}
}
,
  address = {Toulouse, France}
}
,
  optvolume = {}
}
,
  pdf = {http://www.cs.toronto.edu/cogrobo/Papers/kr2002-ron.pdf}
}
,
  opteditor = {}
}
,
  optseries = {}
}