Reasoning about Deduction with Unknown Constants.

Andrew Eaas

Browse the full IJCAI paper archive.