@inproceedings(wolfman-ijcai-1999-lpsat,
  author=    {Steven A. Wolfman and Daniel S. Weld},
  title=     {The {LPSAT} Engine \& Its Application to Resource Planning},
  booktitle= {Proceedings of IJCAI'99: the $16^{th}$ International Joint Conference on Artificial Intelligence},
  pages=     {310--316},
  year=      {1999},
  address=   {Stockholm, Sweden},
  url=       {\url{http://www.cs.ubc.ca/~wolf/papers/web-ijcai99.pdf}},
)