@unpublished{ EFOL:1999,
  url = {BAfol.pdf}
}
,
  area = {Planning (including under Uncertainty)}
}
,
  title = {Evaluating First Order Formulas---the foundation for a general Search Engine}
}
,
  year = {1999}
}
,
  author = {Fahiem Bacchus and Michael Ady}
}