A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning

Research output: Contribution to conferencePaperpeer-review

Original languageUndefined/Unknown
Pages126-136
Publication statusPublished - 1989

Cite this