@inproceedings{ kr00part,
  title = {Partition-Based Logical Reasoning}
}
,
  url = {kr00part.pdf}
}
,
  booktitle = { Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR'2000)}
}
,
  author = {Amir, E. and McIlraith, S.}
}
,
  year = {2000}
}
,
  month = {April 12-15}
}
,
  address = {Breckenridge, Colorado, USA}
}
,
  pages = {389-400}
}