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}, }