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

{"_id":"oJcJ424XhgJfMzikP","bibbaseid":"bacchus-ady-evaluatingfirstorderformulasthefoundationforageneralsearchengine-1999","author_short":["Bacchus, F.","Ady, M."],"bibdata":{"bibtype":"unpublished","type":"unpublished","author":[{"firstnames":["Fahiem"],"propositions":[],"lastnames":["Bacchus"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Ady"],"suffixes":[]}],"title":"Evaluating First Order Formulas—the foundation for a general Search Engine","year":"1999","url":"BAfol.pdf","area":"Planning (including under Uncertainty)","bibtex":"@unpublished{EFOL:1999,\n author = {Fahiem Bacchus and Michael Ady},\n title = {Evaluating First Order Formulas---the foundation for a general Search Engine},\n year = 1999,\n url = {BAfol.pdf},\n area = {Planning (including under Uncertainty)}\n}\n\n","author_short":["Bacchus, F.","Ady, M."],"key":"EFOL:1999","id":"EFOL:1999","bibbaseid":"bacchus-ady-evaluatingfirstorderformulasthefoundationforageneralsearchengine-1999","role":"author","urls":{"Paper":"www.cs.toronto.edu/~fbacchus/Papers/BAfol.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"unpublished","biburl":"www.cs.toronto.edu/~fbacchus/Papers/list.bib","dataSources":["Z48YTwnvi8Hf5E3Am"],"keywords":[],"search_terms":["evaluating","first","order","formulas","foundation","general","search","engine","bacchus","ady"],"title":"Evaluating First Order Formulas—the foundation for a general Search Engine","year":1999}