@article{ ami-mci-aij01,
  publisher = {Elsevier Science Publishers Ltd.}
}
,
  author = {Amir, E. and McIlraith, S.}
}
,
  title = {Partition-Based Logical Reasoning for First-Order and Propositional Theories}
}
,
  url = {ami-mci-aij01.pdf}
}
,
  journal = {Artificial Intelligence}
}
,
  issn = {0004-3702}
}
,
  year = {2005}
}
,
  number = {1-2}
}
,
  volume = {162}
}
,
  address = {Essex, UK}
}
,
  pages = {49--88}
}