@inproceedings{DBLP:conf/ismvl/Lukasiewicz99,
  title = "Probabilistic and Truth-Functional Many-Valued Logic Programming",
  author = "Thomas Lukasiewicz",
  year = "1999",
  booktitle = "Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1999, Freiburg, Germany, May 20-22, 1999",
  pages = "236-241",
  publisher = "IEEE Computer Society",
  url = "http://www.kr.tuwien.ac.at/staff/lukasiew/ismvl99.ps.gz",
}