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]