Declarative Functionality Descriptions of Interactive Reasoning Modules

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)221-236
JournalLecture Notes in Computer Science
Volume567
DOIs
Publication statusPublished - 1991

Cite this