c-kr-96-99
Erik Sandewall.
Assessment of ramification methods that use static domain constraints. [
entry
]
Proc. International Conf on Knowledge Representation and Reasoning, 1996, pp. 99-110.