Automated inference in active logics
| Title | Automated inference in active logics |
| Publication Type | Journal Articles |
| Year of Publication | 1996 |
| Authors | Miller M, Perlis D |
| Journal | JOURNAL OF APPLIED NONCLASSICAL LOGICS |
| Volume | 6 |
| Pagination | 9 - 28 |
| Date Published | 1996/// |