Avoiding Non-ground Variables

Stefan BrĂ¼ning, Torsten Schaub. Avoiding Non-ground Variables. In Anthony Hunter, Simon Parsons, editors, Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU 99, London, UK, July 5-9, 1999, Proceedings. Volume 1638 of Lecture Notes in Computer Science, pages 92-103, Springer, 1999. [doi]

@inproceedings{BruningS99,
  title = {Avoiding Non-ground Variables},
  author = {Stefan BrĂ¼ning and Torsten Schaub},
  year = {1999},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1638&spage=0092},
  researchr = {https://researchr.org/publication/BruningS99},
  cites = {0},
  citedby = {0},
  pages = {92-103},
  booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU 99, London, UK, July 5-9, 1999, Proceedings},
  editor = {Anthony Hunter and Simon Parsons},
  volume = {1638},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66131-X},
}